trishullab / copraLinks

COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
67Updated last week

Alternatives and similar repositories for copra

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

Sorting: