avatar

Guillaume Claret

Security researcher at @formal-land 🌲 for Web3 applications Applying the šŸ“ proof system to find all the vulnerabilities. šŸ»ā€ā„ļø

Joined on Jun, 2010•168 repositories

Pull Requests

1,051

Code Reviews

304

Activity Feed (Latest 20)

pushed to gh-pages in formal-land/formal.land

a day ago

pushed to gh-pages in formal-land/formal.land

a day ago

pushed to main in formal-land/formal.land

a day ago

pushed to gh-pages in formal-land/formal.land

a day ago

pushed to gh-pages in formal-land/formal.land

a day ago

commented on pull request formal-land/garden#51

3 days ago

reviewed a pull request in formal-land/garden

3 days ago

commented on pull request formal-land/garden#51

3 days ago

reviewed a pull request in formal-land/garden

3 days ago

pushed to guillaume-claret@add-llzk in formal-land/garden

3 days ago

pushed to guillaume-claret@first-rocq-output in formal-land/llzk-lib

3 days ago

pushed to guillaume-claret@add-llzk in formal-land/garden

3 days ago

pushed to guillaume-claret@first-rocq-output in formal-land/llzk-lib

3 days ago

pushed to guillaume-claret@add-llzk in formal-land/garden

3 days ago

Description of `WatchEvent` isn't defined

4 days ago

pushed to guillaume-claret@add-llzk in formal-land/garden

4 days ago

pushed to guillaume-claret@first-rocq-output in formal-land/llzk-lib

4 days ago

pushed to guillaume-claret@add-llzk in formal-land/garden

6 days ago

commented on pull request formal-land/garden#51

6 days ago

commented on pull request formal-land/garden#51

6 days ago