LAProof release 2.0

What's Changed

• Functional models use MathComp matrices instead of list-of-list matrices
• Many more verified C modules: dense matrices with many operations, cholesky decomposition, sparse matrix construction (COO->CSR), etc.
• Much improved documentation
• Rocq 9.0 compatible

LAProof release 1.0

v1.0

LAProof release 1.0