trishullab / copraLinks

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

Alternatives and similar repositories for copra

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

Sorting: