E.: The matita interactive theorem prover (2011)

by A Asperti, W Ricciotti, Sacerdoti Coen, C Tassi
Venue:Berlin Heidelberg