IMO-grand-challenge / IMO-grand-challenge.github.ioView external linksLinks
IMO Grand Challenge for Artificial Intelligence
☆47Jan 31, 2022Updated 4 years ago
Alternatives and similar repositories for IMO-grand-challenge.github.io
Users that are interested in IMO-grand-challenge.github.io are comparing it to the libraries listed below
Sorting:
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- ☆20Dec 19, 2025Updated last month
- ☆22Nov 23, 2023Updated 2 years ago
- SampCert : Verified Differential Privacy☆90May 1, 2025Updated 9 months ago
- ☆11Feb 18, 2024Updated last year
- SDL2 bindings for lean☆23Dec 27, 2025Updated last month
- ☆11Oct 31, 2021Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A small bookmarks app for Solid☆11Jul 13, 2017Updated 8 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Feb 12, 2024Updated 2 years ago
- Greek/English version of Euclid's Elements☆50Sep 1, 2023Updated 2 years ago
- Lean 3 web editor☆13Oct 25, 2023Updated 2 years ago
- ☆14Updated this week
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- ☆13Updated this week
- Nightly builds☆23Updated this week
- deep learning for math☆29May 4, 2019Updated 6 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- Markdown file of the list and explanations of all mathlib4 tactics☆53Jan 6, 2024Updated 2 years ago
- ☆16Jul 2, 2025Updated 7 months ago
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 2 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 4 years ago
- maze game encoded in Lean 4 syntax☆68Jul 2, 2025Updated 7 months ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆35Dec 20, 2025Updated last month
- ☆38Mar 12, 2024Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- ☆13Sep 29, 2025Updated 4 months ago
- ☆12Mar 31, 2024Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- Experiments on automation for Lean☆161Jan 24, 2026Updated 3 weeks ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Feb 5, 2023Updated 3 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- Plain-text declaration export for Lean 4☆22Feb 6, 2026Updated last week