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