Works
Mizar system
—monthly views
0copies owned
—player watchlists
Works
Mizar system
Proof assistant program
rare · Q1609529
Related cards · science software
See all 121
Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Works
Havok (software)
—monthly views
0copies owned
—player watchlists
Works
GeoGebra
—monthly views
0copies owned
—player watchlists
Works
COMSOL Multiphysics
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · automated theorem proving
See all 6 Concepts
Lean (proof assistant)
—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
Related cards · mathematical software
See all 149 Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Concepts
GNU Octave
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Works
Isabelle (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists