-
Zama
- Paris, France
- http://mkmks.org
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🪿
Formal Land Paris
Evgenii Kotelnikov
aztek
I write programs, prove theorems, and write programs that prove theorems
Snyk Amsterdam