%0 Unpublished Work
%D 2019
%T Proving Inequational Propositions about Haskell Programs in Coq