mxthematic
Popular repositories Loading
-
openproof
openproof PublicConversational theorem prover for Lean 4. Describe a theorem, get a machine-checked proof.
Rust
-
openproof-ml
openproof-ml PublicTraining pipeline for on-device Lean 4 tactic prediction models
Python
-
Repositories
Showing 3 of 3 repositories
- openproof Public
Conversational theorem prover for Lean 4. Describe a theorem, get a machine-checked proof.
mxthematic/openproof’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…