package altgr-ergo

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Altgr-ergo

The altgr-ergo package installs the altgr-ergo binary, which is a graphical interface to the alt-ergo automated theorem prover.

The command line parsing is computed in our common internal library (see Alt_ergo_common) using cmdliner