/LeanGPT

Experiments with interactive theorem provers, LLMs and formal systems

Primary LanguageCoq

Watchers