coq-mathcomp/etc/NOTICE, branch master Library of mathematical components formalized in Coq some work on ssreflect and discrete 2015-03-09T15:21:23+00:00 Enrico Tassi 2015-03-09T12:35:08+00:00 155e671f7b83293ae327ddbd252d1d1ac961ab9a