Equational Reasoning in Algebraic Structures: a Complete Tactic

by Luís Cruz-filipe , Freek Wiedijk
Citations:1 - 1 self