cgao3 / benzene-vanilla-cmake
CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!
☆39Updated 4 months ago
Related projects: ⓘ
- Repository for the QED interactive text and possible extensions☆95Updated 4 years ago
- ☆27Updated 2 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆32Updated 4 years ago
- Adaptive Subgoal Search☆19Updated last year
- ☆16Updated 3 years ago
- A fun way to visualize influence in the game of Go.☆20Updated 5 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆60Updated 3 months ago
- ☆163Updated last year
- An introduction to theorem proving in Lean for the impatient.☆93Updated this week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆43Updated this week
- Program Synthesis☆143Updated 3 years ago
- Interactive neural theorem proving in Lean☆114Updated 2 years ago
- ☆14Updated last year
- A computer algebra system for research in combinatorial game theory☆31Updated 8 months ago
- Proof artifact co-training for Lean☆40Updated last year
- Catalog Of Math Problems Formalized In Lean☆92Updated this week
- Proof recording for Lean 3☆24Updated 2 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- ☆22Updated this week
- deep learning for math☆29Updated 5 years ago
- ☆21Updated 2 months ago
- Benchmark for undergraduate-level formal mathematics☆88Updated 3 months ago
- Formal to Formal Mathematics Benchmark☆297Updated last year
- ☆34Updated 3 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆36Updated last year
- "Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack☆105Updated last year
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆16Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 3 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated last year
- ☆21Updated 9 months ago
- Lean 4 tutorial files☆26Updated 4 months ago