Showing 1 - 2 results of 2 for search 'Simon Cruanes', query time: 0.03s Refine Results
  1. 1
    Extending Nunchaku to Dependent Type Theory
    by Simon Cruanes, Jasmin Christian Blanchette
    Published 2016-06-01
    Get full text
    Article
  2. 2
    Language and Proofs for Higher-Order SMT (Work in Progress)
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search