Grégoire and Assia Mahboubi. Proving equalities in a commutative ring done right in coq (2005)

by Benjamin
Venue:of Lecture Notes in Computer Science