@hackage free-theorems-webui0.2.0.1

CGI-based web interface for the free-theorems package.

  • Installation

  • Dependencies (0)

  • Dependents (1)

    @hackage/acme-everything

    • Package Flags

      our_server
       (off by default)

      Use the path configuration from "our_server_config/" instead of "default_config/".

      After compilation, the application will only work with the folder layout on our server.

      See "our_server_config/Paths.hs" for details.

This package provides access to the functionality of http://hackage.haskell.org/package/free-theorems through a web interface.

An online version can be seen at http://www-ps.iai.uni-bonn.de/ft/, where you can also find a more detailed description of the functionality.

There is also a shell based interface: http://hackage.haskell.org/package/ftshell.

The CGI binary is called "free-theorems-webui.cgi".

To start it locally for offline usage, just call "free-theorems-webui" after installation. (This needs python)