Lib.rs
›
Users
#
specification
#
integer
#
formal-verification
denismerigoux
Denis Merigoux
Joined crates-io 5 years ago. Joined GitHub 12 years ago.
GitHub
crates.io
Home (merigoux.fr)
Maintainer dashboard
Member of GitHub orgs
Inria-Prosecco
Shares crates with
franziskuskiefer
denismerigoux created 2 crates
abstract_integers
Founded in Feb 2019. Last updated 2 years ago.
secret_integers
Founded in Jan 2019. Last updated 2 years ago.
Co-owns 3 crates
hacspec
Member since Dec 2020 (3 years)
hacspec-util
Member since Dec 2020 (3 years)
hacspec-attributes
Member since Dec 2020 (3 years)