qed (hackage): A prototype proof system.
Keywords: bsd3|library|theorem-provers