proverifdocversion

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.02.tar.gz
sha256=a0adfc6cdd1ba15e1c8288255de22dc69023aeda1a2cbca35dfc480febb93ed9
md5=c2de797b538dbb9cf4ad3c5b65314387
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/proverifdoc/proverifdoc.2.02/opam
Required by
  • proverifpost & with-doc & >=2.01 & <2.02pl1