Verifying concurrent crash-safe systems
A core language for rule-based hardware design 🦑
Coq plugin embedding elpi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Verified hash-based AMQ structures in Coq
Archive for all Coq related OPAM packages organized in various repositories
A minimalistic blockchain consensus implemented and verified in Coq
A framework for smart contract verification in Coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Cast...
A library of mechanised undecidability proofs in the Coq proof assistant.
Correctness proofs of Ethereum token contracts
Formal specification and verification of hardware, especially for securi...
Distributed Separation Logic: a framework for compositional verification...
High level commands to declare a hierarchy based on packed classes