Explore indexBack to Terms
Lean
An interactive theorem prover language for writing and verifying mathematical proofs
No public content is connected to this entity yet.
An interactive theorem prover language for writing and verifying mathematical proofs
No public content is connected to this entity yet.