tom-p-reichel/prism
Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
PythonLGPL-3.0
Watchers
No one’s watching this repository yet.
Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
PythonLGPL-3.0
No one’s watching this repository yet.