GitHub repository: qquella/logic-lemma-prover
Primary language: Python
Created: 2024-11-26T00:19:56Z
Description: A script to automate lemma and theorem proof generation with GPT models.