Compendium
Search
Search
Dark mode
Light mode
Explorer
Tag: theorem-prover
4 items with this tag.
May 06, 2026
Agda — Reference
research
language-reference
agda
dependent-types
functional
theorem-prover
hott
cubical
May 06, 2026
Coq (Rocq) — Reference
research
language-reference
coq
rocq
dependent-types
theorem-prover
formal-methods
May 06, 2026
Lean — Reference
research
language-reference
lean
dependent-types
functional
theorem-prover
formal-methods
May 06, 2026
Idris — Reference
research
language-reference
idris
dependent-types
functional
theorem-prover