Repository for the QED interactive text and possible extensions
☆127Jun 24, 2026Updated 4 months ago
Alternatives and similar repositories for QED
Users that are interested in QED are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Explorations in Algebraic Graph Theory☆11Oct 14, 2015Updated 11 years ago
- Still working on improving this!☆16Oct 16, 2026Updated 2 weeks ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆246Updated this week
- Web page for exponent pair database☆16Aug 5, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Courseware used in the 6.004 Labs (jsim, tmsim, bsim)☆12Mar 21, 2015Updated 11 years ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- A project to map out the relations between different equational theories of Magmas.☆562Oct 26, 2026Updated last week
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 3 weeks ago
- Command line tool to flatten XML into a line-oriented, greppable format☆15May 6, 2026Updated 5 months ago
- Project to verify the Guy-Selfridge conjectures☆31Jun 24, 2026Updated 4 months ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Updated this week
- ☆33Sep 9, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- ☆37Sep 8, 2026Updated last month
- ☆41Aug 19, 2026Updated 2 months ago
- Riemann Hypothesis book☆77Nov 24, 2017Updated 8 years ago
- My Cambridge Lecture Notes☆10Jun 12, 2025Updated last year
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 8 years ago
- The source of Walnut☆10Oct 22, 2026Updated last week
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆14Oct 5, 2026Updated 3 weeks ago
- ☆96Nov 12, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Cross-referencing system for LaTeX, inspired with RDF☆18Nov 19, 2024Updated last year
- ☆18Oct 27, 2024Updated 2 years ago
- HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where p…☆19Oct 19, 2026Updated 2 weeks ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 3 weeks ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Verifying curve25519-dalek using Lean☆14Oct 12, 2026Updated 3 weeks ago
- Exponent pair database☆85Updated this week
- Python package to convert LaTeX markup to DOM☆16Oct 15, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Linear Algebra☆10Dec 1, 2019Updated 6 years ago
- ☆35Jul 21, 2026Updated 3 months ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 9 months ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆141Oct 26, 2026Updated last week
- A Lean companion to Analysis I☆1,979Oct 18, 2026Updated 2 weeks ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆15Jul 6, 2023Updated 3 years ago
- i18n library for Lean.☆14Oct 22, 2026Updated last week