CoqInterval

Geneau de Lamarlière, Paul; Melquiond, Guillaume

doi:10.4230/artifacts.22454

Artifact

CoqInterval Software

Authors Paul Geneau de Lamarlière , Guillaume Melquiond

Part of: Collection: Supplementary Materials
License: CeCILL-C Free Software License Agreement
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22454
URN: urn:nbn:de:0030-drops-224546

Author Details

Paul Geneau de Lamarlière

Mitsubishi Electric R&D Centre Europe, 35700 Rennes, France
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, LMF, 91190 Gif-sur-Yvette, France

Guillaume Melquiond

Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, LMF, 91190 Gif-sur-Yvette, France

Content

Software: https://gitlab.inria.fr/coqinterval/interval.git
archived version

Version/Status

Content created at: 2024-02-07
Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Paul Geneau de Lamarlière, Guillaume Melquiond. CoqInterval (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22454

Subject Classification

Programming Languages

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail