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

Index - T

toSingProof.Equational
transProof.Equational
transitivityProof.Equational
trivialProof.Propositional.Inhabited, Proof.Propositional
TyConProof.Equational
TyCon1Proof.Equational
TyCon2Proof.Equational
TyCon3Proof.Equational
TyCon4Proof.Equational
TyCon5Proof.Equational
TyCon6Proof.Equational
TyCon7Proof.Equational
TyCon8Proof.Equational
TyFunProof.Equational