Cooperative repositories for formal proofs (0)

by P Corbineau, C Kaliszyk
Venue:Calculemus/MKM, Lecture Notes in Computer Science 4573 (2007