Formalization of Algorithms and Logical inference Systems in Proof Assistants

    Project Details

    StatusFinished
    Effective start/end date15/09/2015 → 14/11/2018
    View all
    View less

    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/Report › Ph.D. thesis › Research

    Open Access
    File
    181 Downloads (Pure)