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

Implement project metadata parser and interpreter #14

Closed a-gardner1 closed 2 years ago

a-gardner1 commented 2 years ago

The parser of the project metadata is likely most easily implemented by defining a corresponding dataclass and using seutil.io.[deserialize|serialize] to read/write the metadata from/to a file.

a-gardner1 commented 2 years ago

Defined in prism.project.metadata.dataclass.