8 packages found. Page 1 of 1.

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

8 packages found. Page 1 of 1.