coq-mathcomp/etc/README, branch master Library of mathematical components formalized in Coq move etc/ files to the root and remove obsolete ones 2018-04-20T09:08:59+00:00 Enrico Tassi 2018-04-20T09:08:59+00:00 b78523ff2c3349e98686871891028069edfa7523 






Updated the address of the website in README
2015-12-09T22:59:11+00:00

Assia Mahboubi

2015-12-09T22:59:11+00:00

e5babdbd98412fd1b8058ac0925664127c2cd4c8

Plus corrected some typos.





Plus corrected some typos.







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

Enrico Tassi

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

155e671f7b83293ae327ddbd252d1d1ac961ab9a