4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
cryptoverif 2.03pl1-1 0 0.00 Cryptographic protocol verifier in the computational model mgrabovsky
lean-git 3.4.1.r4.gb13ac127f-1 4 0.00 Lean Theorem Prover mgrabovsky
proverif 2.01-1 3 0.02 Cryptographic protocol verifier in the formal model mgrabovsky
lean-bin 3.4.2-1 5 0.12 Lean Theorem Prover mgrabovsky

4 packages found. Page 1 of 1.