6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
proverif 2.04-1 3 0.00 Cryptographic protocol verifier in the formal model mgrabovsky 2022-06-07 19:34 (UTC)
lean-git 3.4.1.r4.gb13ac127f-1 4 0.00 Lean Theorem Prover mgrabovsky 2018-09-21 20:32 (UTC)
lean-bin 3.4.2-1 4 0.00 Lean Theorem Prover mgrabovsky 2019-02-01 18:28 (UTC)
divine 3.3.2-1 0 0.00 Explicit-state model checker mgrabovsky 2016-03-23 14:06 (UTC)
cryptoverif 2.05-1 0 0.00 Cryptographic protocol verifier in the computational model mgrabovsky 2021-11-13 16:47 (UTC)
abella 2.0.6-1 1 0.00 Interactive theorem prover mgrabovsky 2019-01-14 22:04 (UTC)

6 packages found. Page 1 of 1.