GitHub repository: jxin31415/copra
Primary language: Python
Description: COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.