| Copyright | (c) Artem Mavrin 2021 |
|---|---|
| License | BSD3 |
| Maintainer | artemvmavrin@gmail.com |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | Safe |
| Language | Haskell2010 |
AutoProof.Internal.Proof.Structural
Description
Structural rules to transform proofs.
Synopsis
- weakenProof :: Ord a => Proof a -> Formula a -> Proof a
- strengthenProof :: Ord a => Proof a -> Proof a
Documentation
weakenProof :: Ord a => Proof a -> Formula a -> Proof a Source #
The weakening structural rule. ( modifies the proof
weakenProof p a)p to include a as an additional hypothesis.