opam on Github

proverifdocversion
2.01

Documentation for ProVerif, a cryptographic protocol verifier in the symbolic model

AuthorBruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre
LicensePublic domain
Published
Homepagehttp://proverif.inria.fr/
Issue Trackerproverif-dev@inria.fr
MaintainerBruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>
Source [http] https://proverif.inria.fr/proverifdoc2.01.tar.gz
sha256=0c2255c4e695f754036ea8895eaddbdc6dadccfda43a2386194a1b6e30c71f25
md5=df7483558e5ef827a712c218bc8ea613
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/proverifdoc/proverifdoc.2.01/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.