3 open source projects by ejgallego

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

Linear Dependent Types for Differential Privacy TypeChecker

Template of Coq Plugin using the Dune build system, and showcasing some advanced features