Explore index
Lean Theorem Prover
An interactive theorem prover allowing users to write and verify complex mathematical proofs, often used in benchmarks for AI-ma
No public content is connected to this entity yet.
Explore index
An interactive theorem prover allowing users to write and verify complex mathematical proofs, often used in benchmarks for AI-ma
No public content is connected to this entity yet.