Logic.Judge.Prover.Tableau.Analytics

This module performs rudimentary analysis of the combinatorial complexity of given tableau systems.

Documentation

analysis :: Extension ext => TableauSystem ext -> Formula ext -> Doc

Produce a Doc indicating the number of instances of each rule of a tableau system. This function is a stub.