proof-combinators-0.1.0.0: Proof Combinators used in Liquid Haskell for Theorem Proving

Index

***LiquidHaskell.ProofCombinators
==.LiquidHaskell.ProofCombinators
==?LiquidHaskell.ProofCombinators
?LiquidHaskell.ProofCombinators
ProofLiquidHaskell.ProofCombinators
QED 
1 (Type/Class)LiquidHaskell.ProofCombinators
2 (Data Constructor)LiquidHaskell.ProofCombinators
trivialLiquidHaskell.ProofCombinators
withTheoremLiquidHaskell.ProofCombinators