autoproof-0.0.0.0: Propositional logic library
Copyright(c) Artem Mavrin 2021
LicenseBSD3
Maintainerartemvmavrin@gmail.com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe
LanguageHaskell2010

AutoProof.Internal.Intuitionistic.Proof.Cut

Description

Functions related to cuts in proofs.

Synopsis

Documentation

findCut :: Proof a -> Maybe (Proof a) Source #

Find the cut nearest the root of a proof, if any. This functions assumes the proof is valid.

hasCut :: Proof a -> Bool Source #

Check if a proof has a cut.