Question

What do you think of this visual category theory tool? See any issues? Would you use it?

score 427 · Answer 1 · 2026-02-22 21:10:33

427

Views

What do you think of this visual category theory tool? See any issues? Would you use it?

Published on 22 Feb 2026 - 21:10

score 714 · Answer 2 · 2026-02-22 19:50:59

714

Views

Conjectures Disproven by the use of Computers?

Published on 22 Feb 2026 - 19:50

score 4.4k · Answer 3 · 2018-04-21 18:00:05

4.4k

Views

Why is there not a system for computer checking mathematical proofs yet (2018)?

Published on 21 Apr 2018 - 18:00

score 64 · Answer 4 · 2018-08-24 06:50:12

64

Views

Subtyping of Prop in Coq. Implementation of Ackermann class theory. First-order theories.

Published on 24 Aug 2018 - 6:50

score 242 · Answer 5 · 2018-09-18 15:42:47

242

Views

Is there little more advanced alternative of "DC Proof"? (it's a proof assistant)

Published on 18 Sep 2018 - 15:42

score 356 · Answer 6 · 2018-10-19 17:43:09

356

Views

Strategy for finding trapping region of a discrete Dynamical System (Hénon map)

Published on 19 Oct 2018 - 17:43

score 44 · Answer 7 · 2019-01-29 01:10:05

44

Views

Are there any proof assistants based on logic programming?

Published on 29 Jan 2019 - 1:10

score 64 · Answer 8 · 2019-01-29 05:37:20

64

Views

Have there been any computer proofs that were found to contain bugs post-publication?

Published on 29 Jan 2019 - 5:37

score 577 · Answer 9 · 2019-03-28 12:28:01

577

Views

Is there a theorem prover that works in natural language?

Published on 28 Mar 2019 - 12:28

score 227 · Answer 10 · 2019-06-28 22:54:40

227

Views

What language are axioms expressed in?

Published on 28 Jun 2019 - 22:54

score 440 · Answer 11 · 2019-07-05 20:00:50

440

Views

Showcases of formalized mathematics in a system like Coq or Lean?

Published on 05 Jul 2019 - 20:00

score 494 · Answer 12 · 2019-07-06 09:12:51

494

Views

Why typeclasses rather than inductive types to define mathematical structures in Lean?

Published on 06 Jul 2019 - 9:12

score 9.9k · Answer 13 · 2019-08-16 20:34:59

9.9k

Views

Unsolved Problems due to Lack of Computational Power

Published on 16 Aug 2019 - 20:34

score 163 · Answer 14 · 2014-04-21 16:09:29

163

Views

Math via Computers

Published on 21 Apr 2014 - 16:09

score 502 · Answer 15 · 2014-08-13 00:34:13

502

Views

Where can I download the approx 1500 Appel-Haken reducible configurations in the Four-Color-Theorem proof?

Published on 13 Aug 2014 - 0:34

List Question

What do you think of this visual category theory tool? See any issues? Would you use it?

Conjectures Disproven by the use of Computers?

Why is there not a system for computer checking mathematical proofs yet (2018)?

Subtyping of Prop in Coq. Implementation of Ackermann class theory. First-order theories.

Is there little more advanced alternative of "DC Proof"? (it's a proof assistant)

Strategy for finding trapping region of a discrete Dynamical System (Hénon map)

Are there any proof assistants based on logic programming?

Have there been any computer proofs that were found to contain bugs post-publication?

Is there a theorem prover that works in natural language?

What language are axioms expressed in?

Showcases of formalized mathematics in a system like Coq or Lean?

Why typeclasses rather than inductive types to define mathematical structures in Lean?

Unsolved Problems due to Lack of Computational Power

Math via Computers

Where can I download the approx 1500 Appel-Haken reducible configurations in the Four-Color-Theorem proof?

Trending Questions

Popular # Hahtags

Popular Questions