8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
abella 2.0.6-1 1 0.00 Interactive theorem prover mgrabovsky
cryptoverif 2.01pl1-1 0 0.00 Cryptographic protocol verifier in the computational model mgrabovsky
divine 3.3.2-1 0 0.00 Explicit-state model checker mgrabovsky
lean-bin 3.4.2-1 4 0.79 Lean Theorem Prover mgrabovsky
lean-git 3.4.1.r4.gb13ac127f-1 4 0.00 Lean Theorem Prover mgrabovsky
ocaml-gen 0.5.2-2 0 0.00 Iterators for OCaml mgrabovsky
ocaml-sedlex 2.1-1 0 0.00 Unicode-friendly OCaml lexer generator mgrabovsky
proverif 2.00-2 2 0.00 Cryptographic protocol verifier in the formal model mgrabovsky

8 packages found. Page 1 of 1.