1 research outputs found
math-comp/math-comp: The Mathematical Components Library 1.19.0
No full text<p>This release is compatible with Coq 8.16 to 8.19.</p>
<p>See the <a href="https://github.com/math-comp/math-comp/blob/mathcomp-1.19.0/CHANGELOG.md">CHANGELOG.md</a> file for more details.</p>
