equational-reasoning-0.6.0.3: Proof assistant for Haskell using DataKinds & PolyKinds

Index

/\Proof.Propositional
:-Proof.Equational
:/\:Proof.Equational
:=:Proof.Equational
:\/:Proof.Equational
:~:Proof.Equational
=<=Proof.Equational
===Proof.Equational
=>=Proof.Equational
=~=Proof.Equational
admittedProof.Equational
andAssocLProof.Propositional
andAssocRProof.Propositional
andElimLProof.Propositional
andElimRProof.Propositional
andIntroProof.Propositional
applyProof.Equational
applyNAryProof.Equational
applyNAry'Proof.Equational
ArgsProof.Equational
asProxyTypeOfProof.Equational
BecauseProof.Equational
becauseProof.Equational
byProof.Equational
byDefinitionProof.Equational
coerceProof.Equational
coerce'Proof.Equational
congProof.Equational
cong'Proof.Equational
eliminateProof.Propositional.Empty, Proof.Propositional
EmptyProof.Propositional.Empty, Proof.Propositional
EqualityProof.Equational
exfalsoProof.Propositional
FromBoolProof.Equational
fromBoolProof.Equational
fromBool'Proof.Equational
fromLeibnizProof.Equational
fromReflProof.Equational
HNilProof.Equational
HVecProof.Equational
InhabitedProof.Propositional.Inhabited, Proof.Propositional
IsTrueProof.Propositional
KProxy 
1 (Data Constructor)Proof.Equational
2 (Type/Class)Proof.Equational
Leibniz 
1 (Type/Class)Proof.Equational
2 (Data Constructor)Proof.Equational
leibnizToReflProof.Equational
NotProof.Propositional
orAssocLProof.Propositional
orAssocRProof.Propositional
orElimProof.Propositional
OriginalPropProof.Equational
orIntroLProof.Propositional
orIntroRProof.Propositional
PredicateProof.Equational
PreorderProof.Equational
PropositionProof.Equational
proveProof.Propositional
Proxy 
1 (Data Constructor)Proof.Equational
2 (Type/Class)Proof.Equational
ReasonProof.Equational
ReflProof.Equational
reflexivityProof.Equational
reflexivity'Proof.Equational
reflToLeibnizProof.Equational
refuteProof.Propositional
startProof.Equational
symProof.Equational
symmetryProof.Equational
transProof.Equational
transitivityProof.Equational
trivialProof.Propositional.Inhabited, Proof.Propositional
unWrapProof.Equational
withEmptyProof.Propositional.Empty, Proof.Propositional
withEmpty'Proof.Propositional.Empty, Proof.Propositional
withInhabitedProof.Propositional.Inhabited, Proof.Propositional
withReflProof.Equational
withWitnessProof.Propositional
WitnessProof.Propositional
wrapProof.Equational
\/Proof.Propositional