Guillaume Claret

https://formal.land/ [email protected]

Formal Land Paris Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Results 3 repositories owned by


                                            Guillaume Claret

coq-chick-blog

179

Stars

9

Forks

Watchers

🐣 A blog engine written and proven in Coq

redux-ship

609

Stars

19

Forks

Watchers

Side effects with snapshots for Redux.

falso

89

Stars

1

Forks

Watchers

A proof of false in Coq.