rocq-archive / coq-serapiLinks

Coq Protocol Playground with Se(xp)rialization of Internal Structures.
132Updated 6 months ago

Alternatives and similar repositories for coq-serapi

Users that are interested in coq-serapi are comparing it to the libraries listed below

Sorting: