Tool for euclidean geometry aware of logic
☆90Jun 4, 2024Updated last year
Alternatives and similar repositories for geo_logic
Users that are interested in geo_logic are comparing it to the libraries listed below
Sorting:
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Jan 17, 2022Updated 4 years ago
- ☆25Aug 5, 2021Updated 4 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆15Jul 22, 2024Updated last year
- Java Geometry Expert☆47Feb 1, 2026Updated last month
- Testing flow matching in Euclidean space and Lie groups.☆13Feb 27, 2026Updated last week
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Code for the paper: "Invertible CNN-Based Super Resolution with Downsampling Awareness" by Andrew Geiss and Joseph C. Hardin, Nov 2020☆12Nov 11, 2020Updated 5 years ago
- Web framework for GeoSolver☆14Feb 18, 2017Updated 9 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- A formalization of geometry in Coq based on Tarski's axiom system☆205Nov 17, 2025Updated 3 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆33Updated this week
- Natural language tactics to teach mathematics using Lean 4☆119Updated this week
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- The implement of geometric solver PGPSNet☆30Jan 30, 2025Updated last year
- ☆29Jun 23, 2022Updated 3 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆33Dec 19, 2025Updated 2 months ago
- A collection of optimizers, some arcane others well known, for Flax.☆29Aug 6, 2021Updated 4 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆65Jan 12, 2026Updated last month
- OGRePy: An Object-Oriented General Relativity Package for Python☆48Aug 3, 2025Updated 7 months ago
- Lean for the Curious Mathematician 2020☆68Oct 24, 2023Updated 2 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
- Codes and datasets for adaptive spline fitting method SHAPES☆10Sep 27, 2024Updated last year
- 3D split-step Fourier parabolic equation for radio wave propagation in urban environment☆10Nov 4, 2020Updated 5 years ago
- Hoare Type Theory☆84Jun 12, 2025Updated 8 months ago
- Porting of software foundations book to Agda☆39Feb 16, 2014Updated 12 years ago
- Real number computation software☆129Aug 16, 2022Updated 3 years ago
- Information relating to topics on Data Engineering, Data Infrastructure, Data Storing, Data Warehouses and Business Analysis. For those i…☆10Aug 8, 2021Updated 4 years ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆13Updated this week
- Prior Sampling for high dimension data with domain knowledge.☆10Jan 11, 2022Updated 4 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- ☆38May 31, 2023Updated 2 years ago
- Luajit array slice implementation☆20Oct 1, 2012Updated 13 years ago
- Multi Stopwatch for Python☆12Sep 28, 2019Updated 6 years ago
- an implementation of the dynamic convex hull algorithm by Overmars and van Leeuwen, also including concatenable queue, 2-3 tree, and left…☆11Nov 22, 2025Updated 3 months ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago