Mathematics and Proof Presentation in Pcoq (2001)

Cached

Download Links

by Ahmed Amerkad , Yves Bertot , Loïc Pottier , Laurence Rideau
Venue:IN: PROCEEDINGS OF PROOF TRANSFORMATION AND PRESENTATION AND PROOF COMPLEXITIES (PTP’01
Citations:7 - 1 self