C.: Cooperative repositories for formal proofs (2007)

by P Corbineau, Kaliszyk