Works
Isabelle (proof assistant)
—monthly views
0copies owned
—player watchlists
Works
Isabelle (proof assistant)
Higher-order logic (HOL) automated theorem prover
rare · Q460340
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 · mathematics
See all 16
Concepts
Delta (letter)
—monthly views
0copies owned
—player watchlists
Concepts
Summation
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Concepts
Dotless I
—monthly views
0copies owned
—player watchlists
Unclassified
Diagram
—monthly views
0copies owned
—player watchlists
Concepts
Mathematical notation
—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
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists
.png/330px-Calculator_screenshot_(macOS).png)
Works
Calculator (Apple)
—monthly views
0copies owned
—player watchlists