coq-serapi

coq-serapi

https://github.com/rocq-archive/coq-serapi

Coq128

last month

Reviews

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Search similar apps

License

Other

Share

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Creator

rocq-archive

Related apps