equational-reasoning-induction-0.6.0.0: Proof assistant for Haskell using DataKinds & PolyKinds
Index