Closed affeldt-aist closed 2 years ago
This drops support for Coq < 8.13 (not supported by MathComp anymore) and for ssreflect 1.11 (it looks like meta.yml was partially updated regarding the ssreflect version).
This drops support for Coq < 8.13 (not supported by MathComp anymore) and for ssreflect 1.11 (it looks like meta.yml was partially updated regarding the ssreflect version).