Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
easycrypt
Computer-Aided Cryptographic Proofs
https://github.com/EasyCrypt/easycrypt/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Available Versions
Version
amd64
x86
alpha
arm
arm64
hppa
mips
ppc
ppc64
riscv
sparc
2024.01-r1
: 0/2024.01
EAPI 8
~amd64
?x86
?alpha
?arm
?arm64
?hppa
?mips
?ppc
?ppc64
?riscv
?sparc
Package Metadata
Upstream
Bugs-To
https://github.com/EasyCrypt/easycrypt/issues/
Remote-Id
https://github.com/EasyCrypt/easycrypt
Full description
EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs.
USE flags
Global Use Flags
+ocamlopt
License
MIT
Maintainer(s)
ML
,
Gentoo Mathematics Project
External Resources
Related bugs
CI Report
(
verbose
)
Repology
Open Pull Requests
Documentation
Forums posts
Git repository browser
Git log
(
short
)
Changes Feed