Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Lean (proof assistant)
Proof assistant and programming language
rare · Q6509476
Related cards · Programming Languages
See all 50
Concepts
C (programming language)
—monthly views
0copies owned
—player watchlists
Concepts
Rust (programming language)
—monthly views
0copies owned
—player watchlists
Concepts
JavaScript
—monthly views
0copies owned
—player watchlists
Concepts
C++
—monthly views
0copies owned
—player watchlists
Concepts
R (programming language)
—monthly views
0copies owned
—player watchlists
Works
Java (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · automated theorem proving
See all 6
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
Related cards · Programming Languages Software Award
See all 16 Concepts
Rust (programming language)
—monthly views
0copies owned
—player watchlists
Works
GNU Compiler Collection
—monthly views
0copies owned
—player watchlists
Works
WebAssembly
—monthly views
0copies owned
—player watchlists
Concepts
OCaml
—monthly views
0copies owned
—player watchlists
Concepts
Scala (programming language)
—monthly views
0copies owned
—player watchlists
Works
Rocq
—monthly views
0copies owned
—player watchlists