Users following QuantuLabs
Guillaume Claret
clarus
Security researcher at @formal-land π² for Web3 applications
Applying the π proof system to find all the vulnerabilities.
π»ββοΈ
Formal Land Paris