5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
proverif 2.05-1 3 0.00 Cryptographic protocol verifier in the formal model gilcu3 2024-05-19 09:59 (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 orphan 2019-02-01 18:28 (UTC)
lean 4.13.0-2 0 0.00 Lean 4 programming language and theorem prover daskol 2024-11-30 17:56 (UTC)
cryptoverif 2.05-1 0 0.00 Cryptographic protocol verifier in the computational model mgrabovsky 2021-11-13 16:47 (UTC)

5 packages found. Page 1 of 1.