Works
SNARK (theorem prover)
—monthly views
0copies owned
—player watchlists
Works
SNARK (theorem prover)
computer program
common · Q7391799
Related cards · software
See all 6,062
Works
Abandonware
—monthly views
0copies owned
—player watchlists
Works
Accelerated Reader
—monthly views
0copies owned
—player watchlists
Works
5 (streaming service)
—monthly views
0copies owned
—player watchlists
Works
ABC iview
—monthly views
0copies owned
—player watchlists
Works
3D Maze
—monthly views
0copies owned
—player watchlists
_2024-12-02_09_44_25-Greenshot.png/330px-3DMark_Result_(CPU-Profile_v1.1)_2024-12-02_09_44_25-Greenshot.png)
Works
3DMark
—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
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
Related cards · science
See all 815
Works
AnyLogic
—monthly views
0copies owned
—player watchlists
Organizations
Apptainer
—monthly views
0copies owned
—player watchlists
Works
ATLAS.ti
—monthly views
0copies owned
—player watchlists
Works
Avogadro (software)
—monthly views
0copies owned
—player watchlists
Works
3D Slicer
—monthly views
0copies owned
—player watchlists
Works
Advanced Simulation Library
—monthly views
0copies owned
—player watchlists