Showing 1 - 5 results of 5 for search 'Florian Rabe', query time: 0.03s Refine Results
  1. 1
    Representing Isabelle in LF

    Representing Isabelle in LF by Florian Rabe

    Published 2010-09-01
    Get full text
    Article
  2. 2
    A Logic-Independent IDE

    A Logic-Independent IDE by Florian Rabe

    Published 2014-10-01
    Get full text
    Article
  3. 3
    Kripke Semantics for Martin-L\"of's Extensional Type Theory

    Kripke Semantics for Martin-L\"of's Extensional Type Theory by Steve Awodey, Florian Rabe

    Published 2011-09-01
    Get full text
    Article
  4. 4
    QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge

    QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge by Michael Kohlhase, Florian Rabe

    Published 2016-01-01
    Get full text
    Article
  5. 5
    Alignment-based Translations Across Formal Systems Using Interface Theories

    Alignment-based Translations Across Formal Systems Using Interface Theories by Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe

    Published 2017-12-01
    Get full text
    Article

Search Tools: