kovzol / Java-Geometry-Expert
Java Geometry Expert
☆37Updated 3 weeks ago
Alternatives and similar repositories for Java-Geometry-Expert:
Users that are interested in Java-Geometry-Expert are comparing it to the libraries listed below
- Metamath program - source code for the Metamath executable☆81Updated 8 months ago
- ☆24Updated 5 months ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆23Updated last week
- Lean4中文教程☆34Updated 2 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆205Updated this week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆51Updated last year
- Catalog Of Math Problems Formalized In Lean☆150Updated this week
- The Lean 4 web editor☆88Updated 2 weeks ago
- GeoGebra Discovery☆22Updated this week
- Source code for the Mathematics in Lean tutorial.☆134Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆175Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated last month
- A formalization of geometry in Coq based on Tarski's axiom system☆193Updated last week
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated 2 months ago
- ☆21Updated 3 years ago
- 代数基本观念☆14Updated last month
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- Introduction to Modular Forms: A Chinese textbook about modular forms☆72Updated 2 months ago
- Lean 4 tutorial files☆36Updated 11 months ago
- ☆19Updated 2 years ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆98Updated 10 months ago
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆101Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆113Updated 2 weeks ago
- Fermat's Last Theorem for regular primes☆55Updated 2 weeks ago
- Source of metamath book☆48Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆240Updated 4 months ago
- Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML☆55Updated 5 years ago
- Theorem Proving in Lean 4☆178Updated 6 months ago
- plasTeX plugin to build formalization blueprints.☆201Updated 2 weeks ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago