@hackage equational-reasoning0.2.0.4

Proof assistant for Haskell using DataKinds & PolyKinds

A simple convenient library to write equational / preorder proof as in Agda.