@hackage / hylotab

Tableau based theorem prover for hybrid logics

Latest1.2.1

About

Metadata

  • Last updated , by GuillaumeHoffmann
  • License LicenseRef-GPL

  • Maintained by: guillaumh@gmail.com

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    static (off by default)

    Build a static binary

Readme

HyLoTab is a proof-of-concept tableaux prover for hybrid logics originally written in 2002 by Jan van Eijck. It is no longer developped, but it is kept compatible with the syntax used in HyLoLib.