project-numina / LeanGeoView external linksLinks
Solving Competition Geometry Problems in Lean
☆30Aug 26, 2025Updated 5 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 3 months ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- Formalization of IMO shortlist problems in Lean 4☆24Updated this week
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- ☆25Jul 16, 2025Updated 6 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
- ☆43Dec 16, 2025Updated last month
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆32Dec 19, 2025Updated last month
- Neural theorem proving toolkit: data extraction tools for Lean 4☆34Jan 26, 2026Updated 2 weeks ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆124Nov 25, 2025Updated 2 months ago
- ☆76Jan 8, 2026Updated last month
- A "code intepreter" for Lean☆77Jan 16, 2026Updated 3 weeks ago
- A search engine for Lean 4 declarations☆49Feb 4, 2026Updated last week
- SorryDB indexes sorries in public lean repositories☆42Jan 29, 2026Updated 2 weeks ago
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 5 months ago
- ☆35Jan 10, 2025Updated last year
- Self-evaluating RAG application on LangCheck docs☆11Sep 10, 2025Updated 5 months ago
- ☆22Dec 3, 2024Updated last year
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 years ago
- Demo repository showcasing how to use reusable workflows to build artifact attestations☆13Feb 2, 2026Updated last week
- ☆16Oct 24, 2021Updated 4 years ago
- 十分钟魔法练习 in OCaml☆36Mar 31, 2022Updated 3 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆98Jan 4, 2025Updated last year
- A Python client library for accessing IQM quantum computers☆13Mar 26, 2025Updated 10 months ago
- 下载豆瓣电子书☆10Apr 25, 2017Updated 8 years ago
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Updated this week
- A NOMAD plugin containing base sections for material processing.☆11Jan 20, 2026Updated 3 weeks ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- gammcor code☆11Sep 25, 2025Updated 4 months ago
- PSI-MOD ontology for modified and unmodified amino acid residues☆14Jan 8, 2026Updated last month
- ☆20Updated this week
- Repository for Stellaris Immortal alpha☆17May 9, 2020Updated 5 years ago
- IonQ iQuHACK 2024 Remote Challenge☆11Feb 3, 2024Updated 2 years ago
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated last year
- A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.☆13Feb 25, 2023Updated 2 years ago