sci-mathematics/
alt-ergo

Automatic theorem prover

https://alt-ergo.ocamlpro.com

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
Warnings For All Versions
2.3.0 : 0 amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
1.30 : 0 amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
RedundantVersion slot(0) keywords are overshadowed by version: 2.3.0
RedundantVersion slot(0) keywords are overshadowed by version: 2.3.0

Package Metadata

Changelog