@hackage free-theorems-webui0.2.1.1

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

  • Categories

    • License

      LicenseRef-PublicDomain

    • Maintainer

      bartsch@cs.uni-bonn.de

      Lottery factor: 0

    • Links

    • Versions

    • 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)