A verifying program for Automath

I. Zandleven

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)

    Fingerprint

    Dive into the research topics of 'A verifying program for Automath'. Together they form a unique fingerprint.

    Arts & Humanities