Material for Lecture 1
    • Basics of CafeOBJ and Peano Style Natural Numbers (slides in a pdf file)
    • Proof Scores for PNAT (text file with .cafe extension)
    • Proof Scores for PNAT with CITP (text file with .cafe extension)