ilyasergey
Follow
Stars
9
results
for source starred repositories
written in Coq
Clear filter
A minimalistic blockchain consensus implemented and verified in Coq
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
A Coq formalization of information theory and linear error-correcting codes
A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems