Coq Protocol Playground with Se(xp)rialization of Internal Structures.
CHANGES:
CHANGES:
CHANGES:
CHANGES:
CHANGES:
btauto
Coq plugin (@ejgallego, #362)extraction
Coq plugin (@ejgallego, @toku-sa-n,
#375, fixes #371)CHANGES:
CHANGES:
CHANGES:
CHANGES:
CHANGES:
CoqworkmgrApi
(@ejgallego, #340)