Newbetuts
.
New posts in computer-assisted-proofs
Mathematical logic book that uses a proof assistant?
logic
reference-request
foundations
computer-assisted-proofs
Examples of the benefits of Homotopy Type Theory for computer aided proofs?
computer-assisted-proofs
homotopy-type-theory
Conjectures Disproven by the use of Computers?
soft-question
big-list
conjectures
experimental-mathematics
computer-assisted-proofs
What is the current state of formalized mathematics?
logic
soft-question
computer-science
computer-assisted-proofs
Why is there not a system for computer checking mathematical proofs yet (2018)? [closed]
proof-verification
automated-theorem-proving
computer-assisted-proofs
What are some theorems that currently only have computer-assisted proofs?
math-history
big-list
computer-assisted-proofs
Unsolved Problems due to Lack of Computational Power
soft-question
computer-science
computational-mathematics
big-list
computer-assisted-proofs
Prev