dwhalen / holophrasmLinks
Holophrasm: a neural Automated Theorem Prover for higher-order logic
☆55Updated 5 years ago
Alternatives and similar repositories for holophrasm
Users that are interested in holophrasm are comparing it to the libraries listed below
Sorting:
- Python talking to the Lean theorem prover☆45Updated 4 years ago
- ☆21Updated last year
- Interactive neural theorem proving in Lean☆125Updated 3 years ago
- ☆50Updated 3 years ago
- Tools based on AI for helping with Lean 4☆93Updated this week
- Proof artifact co-training for Lean☆45Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆11Updated 2 years ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 9 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- ☆27Updated 3 years ago
- A search engine for Lean 4 declarations☆30Updated last month
- ☆16Updated 4 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆76Updated 3 months ago
- Formalizing stochastic doubly-efficient debate☆108Updated 10 months ago
- Bonn Lean course for winter 24/25☆35Updated 3 weeks ago
- maze game encoded in Lean 4 syntax☆60Updated last month
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- ☆87Updated last week
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- Benchmark for undergraduate-level formal mathematics☆108Updated 10 months ago
- ☆25Updated 3 years ago
- A formal proof of the independence of the continuum hypothesis☆133Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated 2 months ago
- Lean mathzoo☆25Updated 3 years ago
- Python client to interact with the lean4 language server.☆22Updated 2 weeks ago
- ☆49Updated last week
- ☆43Updated last month
- Lean 3 web editor☆12Updated last year