Guillaume Claret
Security researcher at @formal-land š² for Web3 applications Applying the š proof system to find all the vulnerabilities. š»āāļø
Pull Requests
1,049
Code Reviews
300
Top Repositories
Activity Feed (latest 50)
pushed to main in formal-land/formal.land
Jul 4, 2025, 1:42 PM
commented on issue formal-land/garden#41
Jul 4, 2025, 12:56 PM
deleted branch gy@FormalizeBrEq3 at formal-land/garden
Jul 4, 2025, 12:55 PM
pushed to main in formal-land/garden
Jul 4, 2025, 12:55 PM
merged a pull request in formal-land/garden
Jul 4, 2025, 12:55 PM
pushed to guillaume-claret@corset-experiments in formal-land/garden
Jul 4, 2025, 10:16 AM
deleted branch guillaume-claret@simulate-add at formal-land/coq-of-rust
Jul 3, 2025, 3:54 PM
closed an issue in formal-land/coq-of-rust
Jul 3, 2025, 3:54 PM
pushed to main in formal-land/coq-of-rust
Jul 3, 2025, 3:54 PM
merged a pull request in formal-land/coq-of-rust
Jul 3, 2025, 3:54 PM
pushed to guillaume-claret@simulate-add in formal-land/coq-of-rust
Jul 3, 2025, 2:16 PM
pushed to guillaume-claret@simulate-add in formal-land/coq-of-rust
Jul 3, 2025, 9:20 AM
pushed to guillaume-claret@simulate-add in formal-land/coq-of-rust
Jul 2, 2025, 4:31 PM
pushed to guillaume-claret@extraction-to-rocq in formal-land/go-corset
Jul 1, 2025, 1:55 PM
opened a pull request in formal-land/garden
Jul 1, 2025, 1:55 PM
created a branch guillaume-claret@more-for-the-specification-of-keccak in formal-land/garden
Jul 1, 2025, 1:54 PM
Description of `WatchEvent` isn't defined
Jul 1, 2025, 11:38 AM
opened a pull request in formal-land/garden
Jun 30, 2025, 10:48 AM
created a branch guillaume-claret@corset-experiments in formal-land/garden
Jun 30, 2025, 10:47 AM
opened a pull request in formal-land/go-corset
Jun 29, 2025, 9:05 PM
created a branch guillaume-claret@extraction-to-rocq in formal-land/go-corset
Jun 29, 2025, 9:04 PM
Description of `WatchEvent` isn't defined
Jun 27, 2025, 8:30 AM
deleted branch guillaume-claret@specify-open-vm-branch_eq at formal-land/garden
Jun 27, 2025, 8:21 AM
pushed to main in formal-land/garden
Jun 27, 2025, 8:20 AM
merged a pull request in formal-land/garden
Jun 27, 2025, 8:20 AM
pushed to guillaume-claret@specify-open-vm-branch_eq in formal-land/garden
Jun 27, 2025, 6:43 AM
pushed to guillaume-claret@specify-open-vm-branch_eq in formal-land/garden
Jun 26, 2025, 8:10 PM
opened a pull request in formal-land/garden
Jun 26, 2025, 8:09 PM
created a branch guillaume-claret@specify-open-vm-branch_eq in formal-land/garden
Jun 26, 2025, 8:05 PM
pushed to guillaume-claret@simulate-add in formal-land/coq-of-rust
Jun 26, 2025, 11:56 AM
pushed to gh-pages in formal-land/formal.land
Jun 26, 2025, 10:23 AM
Description of `WatchEvent` isn't defined
Jun 24, 2025, 6:34 PM
Description of `WatchEvent` isn't defined
Jun 24, 2025, 4:47 PM
deleted branch guillaume-claret@add-branch-eq-in-monad at formal-land/garden
Jun 24, 2025, 4:32 PM
pushed to main in formal-land/garden
Jun 24, 2025, 4:32 PM
merged a pull request in formal-land/garden
Jun 24, 2025, 4:32 PM
pushed to guillaume-claret@add-branch-eq-in-monad in formal-land/garden
Jun 24, 2025, 4:20 PM
opened a pull request in formal-land/garden
Jun 24, 2025, 3:08 PM
created a branch guillaume-claret@add-branch-eq-in-monad in formal-land/garden
Jun 24, 2025, 3:07 PM
deleted branch guillaume-claret@ago@p-token-links at formal-land/coq-of-rust
Jun 24, 2025, 1:55 PM
pushed to main in formal-land/coq-of-rust
Jun 24, 2025, 1:55 PM
merged a pull request in formal-land/coq-of-rust
Jun 24, 2025, 1:55 PM
opened a pull request in formal-land/coq-of-rust
Jun 23, 2025, 5:45 PM
created a branch guillaume-claret@ago@p-token-links in formal-land/coq-of-rust
Jun 23, 2025, 5:44 PM
commented on pull request formal-land/garden#42
Jun 23, 2025, 3:18 PM
reviewed a pull request in formal-land/garden
Jun 23, 2025, 3:18 PM
commented on pull request formal-land/garden#42
Jun 23, 2025, 3:03 PM
commented on pull request formal-land/garden#42
Jun 23, 2025, 3:01 PM
commented on pull request formal-land/garden#42
Jun 23, 2025, 2:56 PM
commented on pull request formal-land/garden#42
Jun 23, 2025, 2:55 PM