coq-serapi
Coq serialization library
A Coq proof assistant library that provides machine-friendly serialization of internal datatypes to/from JSON or S-expressions for efficient interaction with the Coq system.
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
128 stars
14 watching
39 forks
Language: Coq
last commit: 8 days ago coqjsonmachine-learning-apiproof-assistantprotocolserializationsexp