Alternatives and similar repositories for LeanGeo

Users that are interested in LeanGeo are comparing it to the libraries listed below

• asukaminato0721 / Geometry-Expression

  View on GitHub
  几何表达式仓库
  ☆11Nov 4, 2025Updated 3 months ago
• wjxway / WSA-Presentation

  View on GitHub
  Wolfram学生大使演讲PPT
  ☆14Aug 26, 2020Updated 5 years ago
• mortarsanjaya / IMOSLLean4

  View on GitHub
  Formalization of IMO shortlist problems in Lean 4
  ☆24Updated this week
• Seasawher / mathlib4-help

  View on GitHub
  List of the output of #help command of mathlib4, including list of all tactics, commands...etc
  ☆24Updated this week
• roozbeh-yz / IMO-Steps

  View on GitHub
  ☆25Jul 16, 2025Updated 6 months ago
• dlfivefifty / RHPackage

  View on GitHub
  A Mathematica package for solving Riemann–Hilbert problems numerically
  ☆30Jul 23, 2019Updated 6 years ago
• cmu-l3 / minictx-eval

  View on GitHub
  Neural theorem proving evaluation via the Lean REPL
  ☆23Jul 12, 2025Updated 7 months ago
• MoonshotAI / CombiBench

  View on GitHub
  ☆43Dec 16, 2025Updated last month
• leanprover-community / mathzoo

  View on GitHub
  Lean mathzoo
  ☆24Mar 23, 2022Updated 3 years ago
• FormalGeo / FormalGeo

  View on GitHub
  Formal representation and solving for Euclidean plane geometry problems.
  ☆32Dec 19, 2025Updated last month
• cmu-l3 / ntp-toolkit

  View on GitHub
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆34Jan 26, 2026Updated 2 weeks ago
• loganrjmurphy / LeanEuclid

  View on GitHub
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆124Nov 25, 2025Updated 2 months ago
• Sphere-AI-Lab / FormalMATH-Bench

  View on GitHub
  ☆76Jan 8, 2026Updated last month
• GasStationManager / LeanTool

  View on GitHub
  A "code intepreter" for Lean
  ☆77Jan 16, 2026Updated 3 weeks ago
• justincasher / lean-explore

  View on GitHub
  A search engine for Lean 4 declarations
  ☆49Feb 4, 2026Updated last week
• SorryDB / SorryDB

  View on GitHub
  SorryDB indexes sorries in public lean repositories
  ☆42Jan 29, 2026Updated 2 weeks ago
• cc-hpc-itwm / gpispace

  View on GitHub
  GPI-Space: Memory Driven Computing and Big Data
  ☆10Jan 2, 2025Updated last year
• Lizn-zn / NeqLIPS

  View on GitHub
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆39Sep 7, 2025Updated 5 months ago
• rookie-joe / PDA

  View on GitHub
  ☆35Jan 10, 2025Updated last year
• citadel-ai / langcheckchat

  View on GitHub
  Self-evaluating RAG application on LangCheck docs
  ☆11Sep 10, 2025Updated 5 months ago
• henrikmidtiby / TeXworks-scripts

  View on GitHub
  ☆22Dec 3, 2024Updated last year
• MargeritPierre / ESPRIT

  View on GitHub
  A generalized ESPRIT algorithm for MATLAB
  ☆15Jan 28, 2021Updated 5 years ago
• github / artifact-attestations-workflows

  View on GitHub
  Demo repository showcasing how to use reusable workflows to build artifact attestations
  ☆13Feb 2, 2026Updated last week
• Founderroni / OP-EX-Mindustry-Mod

  View on GitHub
  ☆16Oct 24, 2021Updated 4 years ago
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆36Mar 31, 2022Updated 3 years ago
• facebookresearch / miniF2F

  View on GitHub
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆98Jan 4, 2025Updated last year
• iqm-finland / iqm-client

  View on GitHub
  A Python client library for accessing IQM quantum computers
  ☆13Mar 26, 2025Updated 10 months ago
• wuzhizhe / DownloadDoubanEbook

  View on GitHub
  下载豆瓣电子书
  ☆10Apr 25, 2017Updated 8 years ago
• moleculediscovery / workshop2022

  View on GitHub
  Machine learning for molecules workshop 2022
  ☆13Nov 30, 2022Updated 3 years ago
• malonaz / sgpt

  View on GitHub
  Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.
  ☆14Updated this week
• FAIRmat-NFDI / nomad-material-processing

  View on GitHub
  A NOMAD plugin containing base sections for material processing.
  ☆11Jan 20, 2026Updated 3 weeks ago
• yihuaxiang / nodejs_chat

  View on GitHub
  14年使用socketio做的一个聊天室😂
  ☆13Feb 5, 2023Updated 3 years ago
• pernalk / GAMMCOR

  View on GitHub
  gammcor code
  ☆11Sep 25, 2025Updated 4 months ago
• HUPO-PSI / psi-mod-CV

  View on GitHub
  PSI-MOD ontology for modified and unmodified amino acid residues
  ☆14Jan 8, 2026Updated last month
• aidotse / LeakPro

  View on GitHub
  ☆20Updated this week
• Stellaris-Immortal / retile

  View on GitHub
  Repository for Stellaris Immortal alpha
  ☆17May 9, 2020Updated 5 years ago
• iQuHACK / 2024_IonQ_Remote

  View on GitHub
  IonQ iQuHACK 2024 Remote Challenge
  ☆11Feb 3, 2024Updated 2 years ago
• himeinhardt / TuGames

  View on GitHub
  A Mathematica Package for Cooperative Game Theory
  ☆11Jun 6, 2024Updated last year
• joaocmd / vxTwitterBot

  View on GitHub
  A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.
  ☆13Feb 25, 2023Updated 2 years ago