A MetaCoq Plugin for pickling / unpicking inductive types.
Primary LanguageCoq
No issues in this repository yet.