GitHub repository: GeorgeTsoukalas/FTPEvals
Primary language: Python
Description: Infrastructure for evaluating latest-gen LLMs & Agents on Formal Theorem Proving Tasks.