Back to projects
AI & ML

LeanGPT by RiccardoBiosas

View on GitHub
Experiments with interactive theorem provers, LLMs and formal systems. Maintained by RiccardoBiosas on GitHub, where it has earned 24 stars from the community.
RiccardoBiosas
RiccardoBiosas
Maintainer
24 stars

Install

Languages

Coq67%
Lean33%
Last updated3y ago
License—

More LangChain projects

Ask MadeWithWhat

AI answers may contain mistakes — please double-check important details.