Opam Package altgr-ergo.2.4.0

Package documentation pages

pages: doc/altgr-ergo/odoc-pages/index.mld doc/altgr-ergo/odoc-pages/index_common.mld

Package info

opam-namealtgr-ergo
opam-version2.4.0
synopsisThe GUI for the Alt-Ergo SMT prover
description Altgr-Ergo is the graphical interface for the Alt-Ergo SMT prover. Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro. See more details on https://alt-ergo.ocamlpro.com/
authors
  • Alt-Ergo developers
homepagehttps://alt-ergo.ocamlpro.com/
licenseOCamlPro Non-Commercial Purpose License, version 1
license-fileLICENSE.md
readme-fileREADME.md
odoc-filedoc/altgr-ergo/odoc-pages/index.mld
odoc-filedoc/altgr-ergo/odoc-pages/index_common.mld
deps (7)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

altgr-ergo

Package files

man/man1/altgr-ergo.1
lib/altgr-ergo/opam
lib/altgr-ergo/dune-package
lib/altgr-ergo/META
lib/altgr-ergo
doc/altgr-ergo/odoc-pages/index_common.mld
doc/altgr-ergo/odoc-pages/index.mld
doc/altgr-ergo/odoc-pages
doc/altgr-ergo/README.md
doc/altgr-ergo/LICENSE.md
doc/altgr-ergo
bin/altgr-ergo