GitHub repository: nmmull/CS491-S24
Primary language: Agda
Created: 2024-01-04T17:06:07Z
Description: Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)