gentoo.LinuxHowtos.org

Details of sci-mathematics/alt-ergo:

Description: Automatic theorem prover
Homepage: https://alt-ergo.ocamlpro.com https://github.com/OCamlPro/alt-ergo/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
alt-ergo-2.4.3-r2 -------------examples
gui
+ocamlopt
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back