SerAPI
Tools and OCaml library for (de)serialization of Coq code to and from JSON and S-expressions.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
Coq › Projects > Tools: “Tools and OCaml library for (de)serialization of Coq code to and from JSON and S-expressions.”