*** | LiquidHaskell.ProofCombinators |
==. | LiquidHaskell.ProofCombinators |
==? | LiquidHaskell.ProofCombinators |
? | LiquidHaskell.ProofCombinators |
Proof | LiquidHaskell.ProofCombinators |
QED | |
1 (Type/Class) | LiquidHaskell.ProofCombinators |
2 (Data Constructor) | LiquidHaskell.ProofCombinators |
trivial | LiquidHaskell.ProofCombinators |
withTheorem | LiquidHaskell.ProofCombinators |