☆43Mar 13, 2026Updated this week
Alternatives and similar repositories for lean-zip
Users that are interested in lean-zip are comparing it to the libraries listed below
Sorting:
- Formalization of the Millennium Problems in Lean 4☆45Jan 16, 2026Updated 2 months ago
- ☆12Mar 4, 2025Updated last year
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Incremental Python parser for constrained generation of code by LLMs.☆18Sep 18, 2024Updated last year
- ☆27Oct 30, 2025Updated 4 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆41Feb 27, 2026Updated 2 weeks ago
- Flexibly track outputs and grad-outputs of torch.nn.Module.☆13Oct 6, 2023Updated 2 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- Try a tactic at each step in a Lean proof.☆36Mar 1, 2026Updated 2 weeks ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Mar 8, 2026Updated last week
- Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.☆14Nov 14, 2024Updated last year
- Central limit theorem in Lean☆15Mar 4, 2026Updated 2 weeks ago
- Self-contained RTL to GDS flow for simple chip designs☆65Jan 27, 2026Updated last month
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆43Feb 23, 2026Updated 3 weeks ago
- Write LaTeX presentations directly from Lean4~☆25Dec 28, 2025Updated 2 months ago
- ☆32Jun 25, 2025Updated 8 months ago
- prinzbench is a private benchmark that ranks LLMs based on their ability to conduct legal research and analysis and locate obscure public…☆51Mar 12, 2026Updated last week
- OCaml BitTorrent library and client☆42Sep 12, 2022Updated 3 years ago
- RealAnalysisGame☆58Feb 13, 2026Updated last month
- Formalization of Gröbner basis theory in Lean4 (WIP)☆31Mar 11, 2026Updated last week
- Material para Matemática Discreta☆10Jul 31, 2016Updated 9 years ago
- Beginner's guide to Tactic Programming in Lean☆69Aug 29, 2025Updated 6 months ago
- ☆10Dec 1, 2021Updated 4 years ago
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 2 years ago
- ☆36Nov 7, 2025Updated 4 months ago
- We track and analyze the activity and performance of autonomous code agents in the wild☆50Dec 5, 2025Updated 3 months ago
- Tool to download historical data from major cryptocurrency exchanges via API.☆10Feb 15, 2026Updated last month
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 5 years ago
- ☆19Jan 22, 2026Updated last month
- NixCon 2024 devenv workshop☆36Dec 15, 2025Updated 3 months ago
- Electron shell for mrmd - Zen Markdown Editor with real-time collaboration☆33Mar 9, 2026Updated last week
- Generate HTML documentation for mathlib and Lean☆22Sep 28, 2024Updated last year
- Nightly builds☆23Updated this week
- Package registry for Lean/Lake.☆40Feb 20, 2026Updated 3 weeks ago
- Simple and complete books without introducing new syntax☆46Feb 10, 2026Updated last month
- The formal proof of the Odd Order Theorem☆37Mar 3, 2026Updated 2 weeks ago
- ☆16Sep 15, 2022Updated 3 years ago
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 3 years ago
- MedSearch is a Medical Knowledge Extraction System that incorporates Neural Search, Q&A, Summarization, etc. from the medical literature.☆14Jun 24, 2021Updated 4 years ago