GitHub repository: mtarunpr/coq-prover
Primary language: Coq
Created: 2023-10-10T19:36:35Z
Description: Prove theorems in Coq by extracting lemmas at failure points. Also contains tools for parsing Coq files and fine-tuning LLMs.