alissa-tung / gleanLinks
☆27Updated 2 months ago
Alternatives and similar repositories for glean
Users that are interested in glean are comparing it to the libraries listed below
Sorting:
- A static analysis tool for Lean 4.☆86Updated last month
- Catalog Of Math Problems Formalized In Lean☆192Updated this week
- Homepage of the Lean-zh website.☆41Updated 2 months ago
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- White-box automation for Lean 4☆292Updated last week
- Visual Studio Code extension for the Lean 4 proof assistant☆224Updated last week
- A simple REPL for Lean 4, returning information about errors and sorries.☆153Updated last week
- ☆257Updated 5 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆151Updated last week
- The Lean 4 web editor☆101Updated 2 months ago
- Lean 定理证明☆17Updated last week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last month
- Lean 4 tutorial files☆40Updated 2 months ago
- Tools based on AI for helping with Lean 4☆92Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆327Updated this week
- Formalization of IMO shortlist problems in Lean 4☆21Updated this week
- An introduction to theorem proving in Lean for the impatient.☆235Updated this week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆81Updated last week
- Experiments on automation for Lean☆127Updated 2 weeks ago
- Examples using MetaProgramming for writing tactics etc.☆20Updated this week
- ☆49Updated 6 months ago
- A formalized proof of Carleson's theorem in Lean☆67Updated this week
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆56Updated last month
- Natural Number Game☆202Updated 2 weeks ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 9 months ago
- Lean mathzoo☆25Updated 3 years ago
- Lean4中文教程☆34Updated 6 months ago
- Verified efficient algorithms in Lean4.☆30Updated last week
- Theorem Proving in Lean 4☆202Updated 2 weeks ago
- Lindemann–Weierstrass Theorem☆12Updated last year