sci-mathematics/easycrypt – Gentoo Packages

Packages

Get Gentoo!

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2022.04_p20220505 : 0	~amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2022.04-r1 : 0	~amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
1.0_pre20220303-r1 : 0	~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)