RiccardoBiosas / LeanGPTLinks

Experiments with interactive theorem provers, LLMs and formal systems
21Updated 2 years ago

Alternatives and similar repositories for LeanGPT

Users that are interested in LeanGPT are comparing it to the libraries listed below

Sorting: