LeanGPT

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

It's actively developed around ai-assisted-development, chatgpt, formal-proofs, and is a solid reference for anyone building with these tools.