Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software Coq.Interval
Coq.Interval - The Coq.Interval library for automatically proving bounds of real-valued expressions
Date of the last release: 15 September 2017

Person in charge : MELQUIOND Guillaume

The Coq.Interval library provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

More information:

Software - Licence : LGPL

Research activities

  MELQUIOND Guillaume

  Verification of Algorithms, Languages and Systems

Joint Inria project team
Software & patents
Deep Neural Networks for DNA

Low-cost Solution for Tangible Interfaces

Browsing Linked Data Catalogs with LODAtlas