/prism

Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.

Primary LanguagePythonGNU Lesser General Public License v3.0LGPL-3.0

Watchers

No one’s watching this repository yet.