Newbetuts
.
New posts in automated-theorem-proving
Status of declarative proof languages in proof assistants
formal-proofs
automated-theorem-proving
theorem-provers
In a monoid, does $x \cdot y=e$ imply $y \cdot x=e$?
abstract-algebra
automated-theorem-proving
Could computers someday discover theorems or find demonstrations?
philosophy
automated-theorem-proving
What are the theorems of mathematics proved by a computer so far? [duplicate]
logic
computer-science
big-list
automated-theorem-proving
Is there an automated way to prove really boring elementary number theoretic results?
elementary-number-theory
automated-theorem-proving
Rings with $a^5=a$ are commutative
abstract-algebra
ring-theory
noncommutative-algebra
automated-theorem-proving
Why is there not a system for computer checking mathematical proofs yet (2018)? [closed]
proof-verification
automated-theorem-proving
computer-assisted-proofs
How to start with automated theorem proving?
logic
reference-request
soft-question
computer-science
automated-theorem-proving
Has any previously unknown result been proven by an automated theorem prover?
soft-question
big-list
automated-theorem-proving
Prev