Proving Equalities in a Commutative Ring Done Right in Coq (2005)

Cached

Download Links

by Benjamin Gregoire , Assia Mahboubi
Venue:Theorem Proving in Higher Order Logics (TPHOLs 2005), LNCS 3603
Citations:25 - 0 self