coq/doc/changelog/04-tactics/10806-fix-micromega-wrt-projections.rst, branch master The formal proof system 8.10.0 release notes. 2019-10-06T10:59:17+00:00 Théo Zimmermann 2019-10-06T10:59:17+00:00 ee4ee17d86ddb11a6508335b9e5d5792bcdf6a8a 






[Micromega] Use EConstr.eq_constr_universes_proj
2019-10-01T14:54:53+00:00

Vincent Laporte

2019-04-03T10:22:13+00:00

b25bdeaed71fdd823262f74ae6ed3935d3322e9f