coq-serapi
coq-serapi copied to clipboard
Published
20 hours ago •
ejgallego
ejgallego
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Results
71
coq-serapi issues
Sort by
recently updated
recently updated
newest added
This fails for now, as we need to implement support for yet another generic arguments setup. To be fixed under-demand.
kind: serialization