moltap Contents Index

Moltap.Prover.Prover

Synopsis

proof :: Program -> Either Proof CounterModel

Documentation

proof :: Program -> Either Proof CounterModel

Proof a formula or find a counter model

Produced by Haddock version 0.8