https://verse-lab.github.io
Singapore Research Group at NUS School of Computing
Verified Systems Engineering Lab
Verified hash-based AMQ structures in Coq
verse-lab
A minimalistic blockchain consensus implemented and verified in Coq
EGraphs in OCaml
