GitHub repository: KinanBab/CS591K1-Labs
Primary language: TeX
Description: Lab notes and code for BU CAS CS591 K1 - Foundations and Pragmatics of Dependently-Typed Automated Systems