mirefek / geo_logicView external linksLinks
Tool for euclidean geometry aware of logic
☆88Jun 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:
- ☆11Oct 31, 2021Updated 4 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Java Geometry Expert☆47Feb 1, 2026Updated last week
- Testing flow matching in Euclidean space and Lie groups.☆13Jan 13, 2026Updated last month
- System-wide Lean input method☆12Feb 16, 2022Updated 3 years ago
- Communicating Sequential Processes in Lua☆37Aug 6, 2022Updated 3 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆32Jan 26, 2026Updated 2 weeks ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Natural language tactics to teach mathematics using Lean 4☆116Feb 1, 2026Updated last week
- Formal representation and solving for Euclidean plane geometry problems.☆32Dec 19, 2025Updated last month
- ☆29Jun 23, 2022Updated 3 years ago
- The core implementation of the Acorn language.☆39Updated this week
- REST/HTTP to XRAP gateway☆27Aug 25, 2016Updated 9 years 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…☆63Jan 12, 2026Updated last month
- OGRePy: An Object-Oriented General Relativity Package for Python☆46Aug 3, 2025Updated 6 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…☆17Sep 3, 2025Updated 5 months ago
- 3D split-step Fourier parabolic equation for radio wave propagation in urban environment☆10Nov 4, 2020Updated 5 years ago
- Codes and datasets for adaptive spline fitting method SHAPES☆10Sep 27, 2024Updated last year
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- Mobile Phone Voting Application for CS1631 at the University of Pittsburgh☆10Mar 5, 2016Updated 9 years ago
- ☆11Feb 18, 2024Updated last year
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆12Oct 29, 2025Updated 3 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆89Dec 2, 2025Updated 2 months ago
- ☆38May 31, 2023Updated 2 years ago
- ☆101Feb 3, 2026Updated last week
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Official Repo for "Why Settle for One? Text-to-ImageSet Generation and Evaluation"☆21Oct 1, 2025Updated 4 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Archive of the categories mailling list☆11Sep 8, 2020Updated 5 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- ☆10Mar 30, 2022Updated 3 years ago
- Source code repository for the AISTAT 2023 paper Transport Reversible Jump Proposals.☆10Mar 3, 2023Updated 2 years ago
- deep learning course materials☆15Jun 24, 2020Updated 5 years ago
- An implementation of RadixTree for efficiently storing, removing & checking in O(1) time for all Ip addresses.☆10Jun 6, 2020Updated 5 years ago
- Codes to compute the WDM wavelet transform☆11Oct 20, 2020Updated 5 years ago