Description
Formal proof projects in Coq can use the development version of the Mathematical Components library.
This Git package is for users who need newer library changes than the stable release. Proof scripts may break when APIs change, so pin versions for important work.