coq-mathcomp/mathcomp/ssreflect/CeCILL-B, branch master Library of mathematical components formalized in Coq fix symlinks to README, INSTALL and LICENSE 2018-04-20T12:19:59+00:00 Enrico Tassi 2018-04-20T12:19:59+00:00 908b440bf9d8c5d2a9005d8651ced54a618d85cf 






some work on ssreflect and discrete
2015-03-09T15:21:23+00:00

Enrico Tassi

2015-03-09T12:35:08+00:00

155e671f7b83293ae327ddbd252d1d1ac961ab9a