alissa-tung / glean
☆19Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for glean
- Formalizing Euclidean Geometry in Lean☆27Updated 7 months ago
- Lean4中文教程☆30Updated last year
- A static analysis tool for Lean 4.☆47Updated this week
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆47Updated 3 months ago
- Lean 定理证明☆10Updated last month
- Lindemann–Weierstrass Theorem☆11Updated 6 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆114Updated this week
- Catalog Of Math Problems Formalized In Lean☆111Updated this week
- Visual Studio Code extension for the Lean 4 proof assistant☆167Updated this week
- Verified efficient algorithms in Lean4.☆19Updated this week
- White-box automation for Lean 4☆206Updated this week
- ☆14Updated 11 months ago
- ☆10Updated 3 years ago
- Lean 函数式编程☆26Updated 3 months ago
- ☆10Updated 8 months ago
- Natural Number Game☆112Updated this week
- Proof recording for Lean 3☆25Updated 3 years ago
- Mathport is a tool for porting Lean3 projects to Lean4☆42Updated 2 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆40Updated this week
- Lean 4 tutorial files☆29Updated 6 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆77Updated this week
- ImProver: Agent-Based Automated Proof Optimization☆18Updated 3 weeks ago
- Some experimental Typst files.☆14Updated last year
- ☆45Updated 8 months ago
- ntype cafe summer school resources☆137Updated 4 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- VSCode extension for bTeX.☆20Updated 11 months ago
- ☆36Updated 5 months ago
- A transpiler that converts TeX into Unicode (as possible).☆17Updated this week
- Formalizing "Proofs from THE BOOK"☆53Updated last week