5 projects
goedels-poetry
A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2
kimina-ast-server
Kimina Lean Server - FastAPI server for checking Lean 4 code at scale
pyeuclid
PyEuclid: A Versatile Formal Plane Geometry System in Python
lean-xplore
A search engine for Lean 4 declarations.
kimina-ast-client
Client SDK to interact with Kimina Lean server.
