C.: Cooperative repositories for formal proofs (2007)

by P Corbineau, Kaliszyk
Venue:In: Calculemus/MKM. Volume 4573 of LNCS