coq-mathcomp/docs/index.html, branch master Library of mathematical components formalized in Coq Redirects to math-comp.github.io 2019-09-05T11:59:04+00:00 Cyril Cohen 2019-07-02T20:29:07+00:00 dd82aaeae7e9478efc178ce8430986649555b032 Merge only after solving issue https://github.com/math-comp/math-comp/issues/361 
Merge only after solving issue https://github.com/math-comp/math-comp/issues/361
 fix issue #240 2018-11-05T15:51:17+00:00 Yves Bertot 2018-11-05T15:51:17+00:00 c93e54c38279bbefeda1d005d17b39b020bd867d 






move the webpage from gh-pages branch to docs/
2018-04-20T08:35:01+00:00

Enrico Tassi

2018-04-20T08:13:36+00:00

24a7fea1648991a77fc4ff86a972b0a3935678c8