coq-mathcomp/mathcomp/basic/CeCILL-B, branch master Library of mathematical components formalized in Coq merge basic/ into ssreflect/ 2015-11-05T15:26:24+00:00 Enrico Tassi 2015-11-05T10:36:58+00:00 14c9a3a752e8c21b239ff0800089271c5a5ddfb2 






Updating files + reorganizing everything
2015-07-17T16:03:31+00:00

Cyril Cohen

2015-07-17T16:03:31+00:00

532de9b68384a114c6534a0736ed024c900447f9