sci-mathematics/easycrypt – Gentoo Packages

Packages

Get Gentoo!

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2023.09 : 0/2023.09	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc
2022.04_p20230324 : 0/2022.04_p20230324	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?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

CI Report (verbose)

Repology

Open Pull Requests

Git repository browser

Git log (short)