kovzol / Java-Geometry-ExpertLinks
Java Geometry Expert
☆38Updated this week
Alternatives and similar repositories for Java-Geometry-Expert
Users that are interested in Java-Geometry-Expert are comparing it to the libraries listed below
Sorting:
- ☆24Updated this week
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- Visual Studio Code extension for the Lean 4 proof assistant☆214Updated last month
- The Lean 4 web editor☆91Updated last month
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆100Updated last month
- Lean 定理证明☆15Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆162Updated this week
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- Fermat's Last Theorem for regular primes☆58Updated this week
- A static analysis tool for Lean 4.☆74Updated this week
- Tools based on AI for helping with Lean 4☆89Updated this week
- ☆22Updated 3 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 3 months ago
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- The standard template to create a lean game☆24Updated 2 months ago
- Metamath program - source code for the Metamath executable☆82Updated 3 weeks ago
- Lean4中文教程☆34Updated 4 months ago
- Metamath source file for logic and set theory☆282Updated this week
- An introduction to theorem proving in Lean for the impatient.☆201Updated 2 weeks ago
- GeoGebra Discovery☆22Updated last month
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- Homepage of the Lean-zh website.☆32Updated last week
- blueprint for prime number theorem and more☆165Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆141Updated this week
- Theorem Proving in Lean 4☆181Updated 7 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆128Updated last month
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆167Updated this week
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆51Updated 4 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆186Updated last week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆124Updated this week