Robuta

https://www.stackage.org/lts-20.12/package/equational-reasoning-0.7.0.1 equational-reasoning :: Stackage Server equational reasoning stackage server https://ir.cwi.nl/pub/15209 Centrum Wiskunde & Informatica: Coiterative Morphisms: Interactive Equational Reasoning for... equational reasoning centrum wiskunde informatica morphisms