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
Alt_ergo_common
cmdliner