All Git Users → certichain

2 open source projects by certichain

[ Open user page on Github ]

Verified hash-based AMQ structures in Coq

✭ 107

coq bloom-filter probability

A minimalistic blockchain consensus implemented and verified in Coq

✭ 103

Coq ocaml distributed-systems blockchain coq consensus

1-2 of 2 user projects