coq-mathcomp/AUTHORS, 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