/coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Primary LanguageOCamlOtherNOASSERTION

No issues in this repository yet.