Skip to contents

  1. Contejean, Évelyne [Author]; Courtieu, Pierre [Author]; Forest, Julien [Author]; Pons, Olivier [Author]; Urbain, Xavier [Author] ; Évelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain [Contributor]

    Automated Certified Proofs with CiME3

    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, 2011

  2. Corbyn, Nathan [Author]; Heidemann, Lukas [Author]; Hu, Nick [Author]; Sarti, Chiara [Author]; Tataru, Calin [Author]; Vicary, Jamie [Author] ; Nathan Corbyn and Lukas Heidemann and Nick Hu and Chiara Sarti and Calin Tataru and Jamie Vicary [Contributor]

    homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories

    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, 2024

  3. Altenkirch, Thorsten [Author]; Kaposi, Ambrus [Author]; Šinkarovs, Artjoms [Author]; Végh, Tamás [Author] ; Thorsten Altenkirch and Ambrus Kaposi and Artjoms Šinkarovs and Tamás Végh [Contributor]

    The Münchhausen Method in Type Theory

    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