Zivoe
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Matthew Merrill
mcmerril
ASU graduate with a focus in cybersecurity and blockchain development.