search

Radiance-Technologies / prism

Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
GNU Lesser General Public License v3.0
5 stars 2 forks source link

Wip serapi interface #24

Closed a-gardner1 closed 2 years ago

a-gardner1 commented 2 years ago

Opening this here for visibility as a work-in-progress.

a-gardner1 commented 2 years ago

@tom-p-reichel I'd appreciate you taking a look at this (just focus on the SerAPI class and associated tests) to let me know if you think anything is missing. I intend to merge it by the end of the day tomorrow if no issues are raised. It is fine if you can't find time to take a look before then.