Starred repositories
10
results
for source starred repositories
written in Coq
Clear filter
The CompCert formally-verified C compiler
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
A Learning Environment for Theorem Proving with the Coq proof assistant
Language for high-assurance and high-speed cryptography
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
A minimalistic blockchain consensus implemented and verified in Coq
An experimental ontology language formalized in Coq with many semantics