ForeverHaibara / ProverLinks
Auto math prover.
☆10Updated 10 months ago
Alternatives and similar repositories for Prover
Users that are interested in Prover are comparing it to the libraries listed below
Sorting:
- ☆24Updated this week
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Updated last year
- Lindemann–Weierstrass Theorem☆11Updated last year
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- Lean4中文教程☆34Updated 4 months ago
- Verified efficient algorithms in Lean4.☆27Updated 2 months ago
- Examples using MetaProgramming for writing tactics etc.☆19Updated 3 months ago
- ☆12Updated 2 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆16Updated 4 years ago
- Homepage of the Lean-zh website.☆32Updated last week
- ☆10Updated 3 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆23Updated last week
- Lennard Jones in Lean☆16Updated this week
- ☆11Updated last year
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆24Updated this week
- A static analysis tool for Lean 4.☆74Updated this week
- ☆20Updated 4 months ago
- ☆12Updated 10 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆58Updated last month
- Repository for the conference LFTCM2024☆11Updated last year
- All the math/tex files for the Automorphic Project☆18Updated last year
- LeanInteract: A Python Interface for Lean 4☆30Updated 2 weeks ago
- A Lean 4 Jupyter kernel via repl☆26Updated 6 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆10Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆11Updated last year
- Try a tactic at each step in a Lean proof.☆27Updated last month
- ☆11Updated last year
- Markdown file of the list and explanations of all mathlib4 tactics☆42Updated last year