4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
lean 4.14.0-1 5 0.04 Lean 4 programming language and theorem prover daskol 2024-12-25 13:13 (UTC)
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)
cryptoverif 2.05-1 0 0.00 Cryptographic protocol verifier in the computational model orphan 2021-11-13 16:47 (UTC)

4 packages found. Page 1 of 1.