Skip to contents

  1. Gilbert, Gaëtan [Author] ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire [Contributor]; Tabareau, Nicolas [Contributor]; Sozeau, Matthieu [Contributor]

    A type theory with definitional proof-irrelevance ; Une théorie des types avec insignifiance des preuves définitionnelle

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2019-12-20

  2. Lelay, Catherine [Author] ; Paris 11 [Contributor]; Boldo, Sylvie [Contributor]; Melquiond, Guillaume [Contributor]

    Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée ; Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-06-15

  3. Zucchini, Rébecca [Author] ; université Paris-Saclay [Contributor]; Benzaken, Véronique [Contributor]; Cohen-Boulakia, Sarah [Contributor]; Keller, Chantal [Contributor]

    Bibliothèque certifiée en Coq pour la provenance des données ; A Coq certified library for data provenance

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2023-07-04

  4. Izerrouken, Nassima [Author] ; Toulouse, INPT [Contributor]; Sallé, Patrick [Contributor]

    Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié ; Proved Development of Formal Components for a Pre-Qualified Critical Embedded Code Generator

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2011-07-06

  5. Pomeret-Coquot, Pierre [Author]; Fargier, Hélène [Author]; Martin-Dorel, Érik [Author] ; Pierre Pomeret-Coquot and Hélène Fargier and Érik Martin-Dorel [Contributor]

    Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023