1.2.0

anton-trunov released this 06 Jan 20:19

· 71 commits to master since this release

Upgrade minimum required versions of the dependencies to Coq 8.10 and Mathcomp 1.10
Simplify some proofs
Various maintenance fixes: warnings, opam file tweaks

Assets 2