Java Geometry Expert
☆47Feb 1, 2026Updated last month
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:
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆65Jan 12, 2026Updated last month
- GeoGebra Discovery☆27Updated this week
- ☆25Aug 5, 2021Updated 4 years ago
- Solving Competition Geometry Problems in Lean☆31Aug 26, 2025Updated 6 months ago
- Java Geometry Expert☆475Dec 15, 2023Updated 2 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆205Nov 17, 2025Updated 3 months ago
- Crate for reading TPTP files.☆15May 11, 2022Updated 3 years ago
- Very slowly rethinking Jython through toy implementations☆18Updated this week
- An inequality benchmark for theorem proving☆21Feb 1, 2026Updated last month
- Tool for euclidean geometry aware of logic☆90Jun 4, 2024Updated last year
- Set Programming with JuMP☆23Dec 31, 2025Updated 2 months ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆33Jan 9, 2026Updated last month
- A heuristic procedure for proving inequalities☆34Sep 4, 2018Updated 7 years ago
- A lightweight SQLite-based Graph Database for Julia.☆31Dec 9, 2025Updated 2 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Jan 17, 2022Updated 4 years ago
- This is a full collection of all the main functions taught in EE2211. It can greatly speed up your speed when doing mid-term or final exa…☆19Sep 3, 2025Updated 6 months ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated last year
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Sources for "Applied Category Theory for Engineering"☆40Feb 26, 2026Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆108Updated this week
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- ☆11Sep 19, 2019Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆172Mar 29, 2025Updated 11 months ago
- A Petri net modeling framework for the Julia programming language☆43Nov 22, 2023Updated 2 years ago
- Fast & Safe file writing for Deno ✒☆10Aug 16, 2021Updated 4 years ago
- [CSC 4263 Project] A maven project with a pretty great UI, developed using Java Spring and Swing frameworks, JDBC template, and other tec…☆12Sep 29, 2022Updated 3 years ago
- Stable and generic C API for Julia☆11Jan 8, 2026Updated last month
- Extensible Symbolic Mathematics in Browser☆10Nov 5, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- Headless Browser Automation in V☆14Jan 14, 2025Updated last year