kfdong / STPLinks

The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
83Updated 2 months ago

Alternatives and similar repositories for STP

Users that are interested in STP are comparing it to the libraries listed below

Sorting: