coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
128 stars
12 watching
39 forks
Language: Coq
last commit: 26 days ago
Linked from 2 awesome lists
coqjsonmachine-learning-apiproof-assistantprotocolserializationsexp
coq-community/awesome-coq
uhub/awesome-coq