Formalization of Algorithms and Logical inference Systems in Proof Assistants

    Project Details

    StatusFinished
    Effective start/end date15/09/201514/11/2018

    Research Output

    • 1 Ph.D. thesis

    Formalization of Logic in the Isabelle Proof Assistant

    Schlichtkrull, A., 2018, DTU Compute. 168 p. (DTU Compute PHD-2018, Vol. 493).

    Research output: Book/ReportPh.D. thesisResearch

    Open Access
    File
    181 Downloads (Pure)