trishullab / copraLinks

COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
62Updated 3 weeks ago

Alternatives and similar repositories for copra

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

Sorting: