equational-reasoning-0.4.0.0: 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
@@Proof.Equational
admittedProof.Equational
andAssocLProof.Propositional
andAssocRProof.Propositional
andElimLProof.Propositional
andElimRProof.Propositional
andIntroProof.Propositional
ApplyProof.Equational
applyProof.Equational
applyNAryProof.Equational
applyNAry'Proof.Equational
applySingProof.Equational
ArgsProof.Equational
asProxyTypeOfProof.Equational
BecauseProof.Equational
becauseProof.Equational
byProof.Equational
byDefinitionProof.Equational
coerceProof.Equational
coerce'Proof.Equational
congProof.Equational
cong'Proof.Equational
DemoteProof.Equational
DemoteRepProof.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
fromSingProof.Equational
genInductionProof.Induction
HNilProof.Equational
HVecProof.Equational
InhabitedProof.Propositional.Inhabited, Proof.Propositional
IsTrueProof.Propositional
KindOfProof.Equational
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
SingProof.Equational
singProof.Equational
singByProxyProof.Equational
singByProxy#Proof.Equational
singFun1Proof.Equational
singFun2Proof.Equational
singFun3Proof.Equational
singFun4Proof.Equational
singFun5Proof.Equational
singFun6Proof.Equational
singFun7Proof.Equational
singFun8Proof.Equational
SingFunction1Proof.Equational
SingFunction2Proof.Equational
SingFunction3Proof.Equational
SingFunction4Proof.Equational
SingFunction5Proof.Equational
SingFunction6Proof.Equational
SingFunction7Proof.Equational
SingFunction8Proof.Equational
SingIProof.Equational
SingInstance 
1 (Data Constructor)Proof.Equational
2 (Type/Class)Proof.Equational
singInstanceProof.Equational
SingKindProof.Equational
singThatProof.Equational
SLambdaProof.Equational
SomeSing 
1 (Data Constructor)Proof.Equational
2 (Type/Class)Proof.Equational
startProof.Equational
symProof.Equational
symmetryProof.Equational
toSingProof.Equational
transProof.Equational
transitivityProof.Equational
trivialProof.Propositional.Inhabited, Proof.Propositional
TyCon1Proof.Equational
TyCon2Proof.Equational
TyCon3Proof.Equational
TyCon4Proof.Equational
TyCon5Proof.Equational
TyCon6Proof.Equational
TyCon7Proof.Equational
TyCon8Proof.Equational
TyFunProof.Equational
unSingFun1Proof.Equational
unSingFun2Proof.Equational
unSingFun3Proof.Equational
unSingFun4Proof.Equational
unSingFun5Proof.Equational
unSingFun6Proof.Equational
unSingFun7Proof.Equational
unSingFun8Proof.Equational
unWrapProof.Equational
withEmptyProof.Propositional.Empty, Proof.Propositional
withEmpty'Proof.Propositional.Empty, Proof.Propositional
withInhabitedProof.Propositional.Inhabited, Proof.Propositional
withSingProof.Equational
withSingIProof.Equational
withSomeSingProof.Equational
WitnessProof.Propositional
wrapProof.Equational
\/Proof.Propositional
~>Proof.Equational