Tricks you wish the Coq manual told you [maintainer=@tchajed]
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
A library for formalizing Haskell types and functions in Coq
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- coq
- serialization
- json
- sexp