@hackage / HTab

Tableau based theorem prover for hybrid logics

Latest1.7.3

About

Metadata

  • Last updated , by GuillaumeHoffmann
  • License BSD-3-Clause
  • Maintained by: guillaumh@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

Tableau based theorem prover for hybrid logics