GasStationManager / CodeProofTheArenaLinks
Lean coding problem solving challenge website with proof verification
☆12Updated 5 months ago
Alternatives and similar repositories for CodeProofTheArena
Users that are interested in CodeProofTheArena are comparing it to the libraries listed below
Sorting:
- Verified efficient algorithms in Lean4.☆33Updated last week
- General neural tactic for Lean 4☆22Updated last month
- Examples using MetaProgramming for writing tactics etc.☆19Updated 3 weeks ago
- ☆11Updated last year
- ☆65Updated 2 weeks ago
- ☆22Updated 2 years ago
- Tools based on AI for helping with Lean 4☆108Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆98Updated this week
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆27Updated last week
- Formalizing "Proofs from THE BOOK"☆71Updated 2 weeks ago
- Formalization of IMO shortlist problems in Lean 4☆23Updated this week
- A search engine for Lean 4 declarations☆44Updated last month
- ☆12Updated this week
- Markdown file of the list and explanations of all mathlib4 tactics☆53Updated last year
- Mathport is a tool for porting Lean3 projects to Lean4☆45Updated last year
- ☆13Updated 2 months ago
- ImProver: Agent-Based Automated Proof Optimization☆39Updated last month
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆23Updated last month
- Lean 4 tutorial files☆46Updated last month
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆63Updated last week
- Beginner's guide to Tactic Programming in Lean☆65Updated 3 months ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆26Updated this week
- Python client to interact with the lean4 language server.☆31Updated this week
- ☆96Updated last week
- ☆54Updated 2 weeks ago
- Try a tactic at each step in a Lean proof.☆30Updated this week
- ☆26Updated 4 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆19Updated this week
- The Lean reference manual☆90Updated this week
- Python talking to the Lean theorem prover☆46Updated 4 years ago