Guillaume Claret

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