coq-mathcomp/mathcomp/test-suite/hierarchy_test.v, branch master Library of mathematical components formalized in Coq rename test-suite -> test_suite to make coq happy 2019-04-03T13:57:34+00:00 Enrico Tassi 2019-04-03T13:57:34+00:00 0cdbe87262c7ca8dfabd921d9f23323990611d7a 






Fix inheritances in ssrnum
2019-04-03T08:01:50+00:00

Kazuhiko Sakaguchi

2019-04-03T08:01:50+00:00

7ab5c99ab4c2ecfd55702a4279392f067652e357












Fix inheritances in countalg and finalg (the 2nd attempt)
2019-04-02T18:34:01+00:00

Kazuhiko Sakaguchi

2019-04-02T18:34:01+00:00

fa01cdf52c9af3f7e57a865a063e3d02f28cbf60












identifying missing joins
2019-04-02T14:40:14+00:00

Cyril Cohen

2019-04-02T14:40:14+00:00

562da0c4beec2525db4867e56867576aaf6c0bd8