Solving Competition Geometry Problems in Lean
☆31Aug 26, 2025Updated 6 months ago
Alternatives and similar repositories for LeanGeo
Users that are interested in LeanGeo are comparing it to the libraries listed below
Sorting:
- 几何表达式仓库☆11Nov 4, 2025Updated 4 months ago
- ☆13Mar 27, 2024Updated last year
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- Formalization of IMO shortlist problems in Lean 4☆25Updated this week
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- ☆26Jul 16, 2025Updated 7 months ago
- A Mathematica package for solving Riemann–Hilbert problems numerically☆30Jul 23, 2019Updated 6 years ago
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated 7 months ago
- ☆42Dec 16, 2025Updated 2 months ago
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆33Dec 19, 2025Updated 2 months ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆125Nov 25, 2025Updated 3 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆35Feb 21, 2026Updated last week
- ☆76Jan 8, 2026Updated last month
- A "code intepreter" for Lean☆81Jan 16, 2026Updated last month
- A search engine for Lean 4 declarations☆52Feb 10, 2026Updated 3 weeks ago
- SorryDB indexes sorries in public lean repositories☆42Updated this week
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 6 months ago
- ☆35Jan 10, 2025Updated last year
- ☆22Dec 3, 2024Updated last year
- Self-evaluating RAG application on LangCheck docs☆11Sep 10, 2025Updated 5 months ago
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 years ago
- Demo repository showcasing how to use reusable workflows to build artifact attestations☆14Feb 16, 2026Updated 2 weeks ago
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆98Jan 4, 2025Updated last year
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- A Python client library for accessing IQM quantum computers☆12Mar 26, 2025Updated 11 months ago
- A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.☆13Feb 25, 2023Updated 3 years ago
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Feb 18, 2026Updated 2 weeks ago
- gammcor code☆11Sep 25, 2025Updated 5 months ago
- A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.☆10Dec 16, 2016Updated 9 years ago
- ☆16Oct 24, 2021Updated 4 years ago
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated last year
- IonQ iQuHACK 2024 Remote Challenge☆11Feb 3, 2024Updated 2 years ago
- A framework for few-shot evaluation of autoregressive language models.☆12Jul 14, 2025Updated 7 months ago
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- Simple getting started procedure for SciCat☆11Updated this week