Auto in Agda: Programming proof search in a language with dependent types

Pepijn Kokke, Wouter Swierstra

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageEnglish
    Title of host publicationProceedings of Mathematics of Program Construction
    Publication statusPublished - 2015

    Cite this