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






fix INSTALL symlinks
2015-11-10T10:38:27+00:00

Enrico Tassi

2015-11-10T10:38:08+00:00

da9bec4f8cdbd568872dcb8f9a427c36bff1a6f4












metadata for solvable and field
2015-03-24T11:23:33+00:00

Cyril Cohen

2015-03-24T11:23:33+00:00

c7ddacdfc43ba25c9fbd9505b3960047c13596d0