I

iprover_external_agent

Project information

An external agent to guide iProver's proof search, by using machine learning models to select clauses for further inference.

4,189 Commits
2 Branches
0 Tags

README

Created on

June 12, 2025

Loading