dwhalen / holophrasm
Holophrasm: a neural Automated Theorem Prover for higher-order logic
☆50Updated 4 years ago
Related projects: ⓘ
- Python talking to the Lean theorem prover☆39Updated 3 years ago
- ☆70Updated this week
- An environment for learning formal mathematical reasoning from scratch☆48Updated last month
- IMO Grand Challenge for Artificial Intelligence☆42Updated 2 years ago
- Proof artifact co-training for Lean☆40Updated last year
- ☆21Updated 9 months ago
- ☆27Updated 2 years ago
- Interactive neural theorem proving in Lean☆114Updated 2 years ago
- ☆39Updated last week
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 3 years ago
- Pedagogical first-order prover in Python☆70Updated 2 months ago
- Lean for the Curious Mathematician 2020☆63Updated 10 months ago
- Lean mathzoo☆23Updated 2 years ago
- Tools based on AI for helping with Lean 4☆62Updated this week
- Jupyter notebook for the Lean4 programming language☆23Updated 2 years ago
- Formalizing stochastic doubly-efficient debate☆88Updated last month
- Implementation of higher-order logic in Python☆56Updated last year
- Lean-independent implementation of the MM-Lean link☆26Updated last year
- Proof recording for Lean 3☆24Updated 2 years ago
- Formalization of the existence of sphere eversions☆35Updated 2 weeks ago
- Benchmark for undergraduate-level formal mathematics☆88Updated 3 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆41Updated last month
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆75Updated 2 weeks ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆67Updated 2 weeks ago
- ☆14Updated last year
- ☆48Updated 2 years ago
- A heuristic procedure for proving inequalities☆31Updated 6 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆64Updated this week
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆12Updated last month
- Lean 3 web editor☆11Updated 10 months ago