Skip to content

Tableau calculus

Latest
Latest
Compare
Choose a tag to compare
@erohkohl erohkohl released this 24 Sep 11:40
· 3 commits to master since this release
v2.0
6297ebd

Features:

  • Solving modal logic formulas with tableau calculus
  • Print proof tree
  • Building Kripke structures based on proof tree
Assets 2
Loading