RealAnalysisGame
☆56Feb 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for RealAnalysisGame
Users that are interested in RealAnalysisGame are comparing it to the libraries listed below
Sorting:
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆15Jan 5, 2026Updated last month
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆41Updated this week
- Estimation for sharp regression discontinuity designs.☆20May 22, 2024Updated last year
- Formalization of Gröbner basis theory in Lean4 (WIP)☆31Feb 14, 2026Updated 2 weeks ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Jul 6, 2023Updated 2 years ago
- List of awesome works that use AI for mathematical discoveries.☆31Feb 21, 2026Updated last week
- ☆18Jan 22, 2026Updated last month
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- ☆105Feb 19, 2026Updated last week
- Mathlib search tool☆123Updated this week
- ☆27Feb 3, 2026Updated last month
- Julia bindings to the SAT solver picosat☆32Dec 30, 2023Updated 2 years ago
- A "code intepreter" for Lean☆81Jan 16, 2026Updated last month
- Formalization of the Millennium Problems in Lean 4☆44Jan 16, 2026Updated last month
- ☆91Updated this week
- Interface to Polymake using CxxWrap☆31Updated this week
- A template for blueprint-driven formalization projects in Lean.☆95Feb 23, 2026Updated last week
- A formalized proof of Carleson's theorem in Lean☆85Feb 18, 2026Updated last week
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 2 weeks ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆37Dec 20, 2025Updated 2 months ago
- The formal proof of the Odd Order Theorem☆37Feb 18, 2026Updated last week
- Try a tactic at each step in a Lean proof.☆35Updated this week
- Bonn Lean course for winter 24/25☆42Jan 8, 2026Updated last month
- Easy modular arithmetic for Julia☆38Oct 24, 2024Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆43Jan 3, 2025Updated last year
- Combinatorial game library in Lean 4☆56Updated this week
- From Zero to QED: An informal introduction to formality with Lean 4☆98Feb 13, 2026Updated 2 weeks ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆185Feb 24, 2026Updated last week
- small tornado project of an imageboard with very bad and outdated code. use branch develop☆10Dec 8, 2022Updated 3 years ago
- ☆13Jul 8, 2024Updated last year
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- 🗂️ A port of ericflo/django-pagination to Python >= 3.10 + Django 4.2 to 5.2☆13Jan 20, 2026Updated last month
- Notebook sul linguaggio Python preparati da docente per il corso di Linguaggi dinamici☆12Feb 12, 2020Updated 6 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Tools based on AI for helping with Lean 4☆114Updated this week