Alternatives and similar repositories for Java-Geometry-Expert:

Users that are interested in Java-Geometry-Expert are comparing it to the libraries listed below

• alissa-tung / glean
  ☆22Updated 4 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆145Updated this week
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆58Updated 3 weeks ago
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated last year
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆95Updated 2 weeks ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆85Updated 2 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆275Updated this week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆192Updated 2 months ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆13Updated 3 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆202Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆83Updated 7 months ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated last month
• leanprover-community / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆109Updated 3 weeks ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆89Updated 10 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆50Updated last year
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆193Updated last month
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆128Updated 3 weeks ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆173Updated last month
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆26Updated 3 years ago
• rkruegs123 / geo-model-builder
  ☆21Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆249Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆248Updated last week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆155Updated 3 weeks ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆129Updated 2 weeks ago
• kovzol / geogebra-discovery
  GeoGebra Discovery
  ☆22Updated 4 months ago