trishullab / copraLinks

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

Alternatives and similar repositories for copra

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

Sorting: