Formalization of Algorithms and Logical inference Systems in Proof Assistants

    Filter
    Ph.D. thesis

    Search results