UCSD-PL / proverbot9001Links
☆44Updated 3 weeks ago
Alternatives and similar repositories for proverbot9001
Users that are interested in proverbot9001 are comparing it to the libraries listed below
Sorting:
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Updated last year
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 3 months ago
- The TacTok automated Coq proof script synthesis tool☆17Updated 2 years ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- Python client for coq-lsp☆47Updated 2 months ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆128Updated last week
- Python bindings for the Coq interactive proof assistant☆57Updated 4 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Claude skills for Lean 4 theorem proving☆112Updated this week
- ☆134Updated this week
- ☆26Updated last month
- ☆26Updated 3 years ago
- ☆22Updated 3 weeks ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆36Updated last month
- Interactive neural theorem proving in Lean☆132Updated 3 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆82Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆78Updated 4 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Logic and Mechanized Reasoning☆115Updated 3 weeks ago
- ☆51Updated 3 years ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆137Updated 2 months ago
- ☆16Updated 7 months ago
- Bonn Lean course for winter 24/25☆40Updated last month
- "proving-contest"-backends for several theorem provers☆13Updated last year
- How to read Lean☆22Updated last year
- This package provides an interface and foundation for verified SAT reasoning☆55Updated last year
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated last year
- Implementation of higher-order logic in Python☆66Updated 2 years ago