math-comp/analysis: MathComp Analysis 1.5.0

Public

Published in Zenodo (CERN European Organization for Nuclear Research) • Oct 9, 2024

Authors:

affeldt-aist

,

Cyril Cohen

,

Pierre Roux

Abstract

Compatible with Coq 8.19--8.20 and MathComp 2.1.0--2.2.0. See the changelog

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!