Showing 1 - 4 results of 4 for search 'Makarius Wenzel', query time: 0.13s Refine Results
  1. 1
    Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents
    by Makarius Wenzel
    Published 2018-11-01
    Get full text
    Article
  2. 2
    READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking
    by Makarius Wenzel
    Published 2013-07-01
    Get full text
    Article
  3. 3
    System description: Isabelle/jEdit in 2014
    by Makarius Wenzel
    Published 2014-10-01
    Get full text
    Article
  4. 4
    Isabelle/PIDE as Platform for Educational Tools
    by Makarius Wenzel, Burkhart Wolff
    Published 2012-02-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search