coq-serapi
by rocq-archive
Coqpushed almost 2 years ago
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
AI summary
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.
- stars
- 128
- forks
- 40
- watching
- 14