Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Wiki Binder · Facet
automated theorem proving
6 cards · 6 shown here
Works
Mizar system
—monthly views
0copies owned
—player watchlists
Works
Vampire (theorem prover)
—monthly views
0copies owned
—player watchlists
Works
Matita
—monthly views
0copies owned
—player watchlists
Works
Thousands of Problems for Theorem Provers
—monthly views
0copies owned
—player watchlists
Works
SNARK (theorem prover)
—monthly views
0copies owned
—player watchlists
Collect every card of this facet.
Start collecting