Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by loganrjmurphy
A curated list of projects in awesome lists by loganrjmurphy .
https://github.com/loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
autoformalization euclidean-geometry formalization lean4 llm-evaluation theorem-proving
Last synced: 09 Aug 2024
https://github.com/loganrjmurphy/lean-temporal
Formalization of some temporal logics in Lean
Last synced: 09 Aug 2024