KinanBab/CS591K1-Labs
Lab notes and code for BU CAS CS591 K1 - Foundations and Pragmatics of Dependently-Typed Automated Systems
Coq
No issues in this repository yet.
Lab notes and code for BU CAS CS591 K1 - Foundations and Pragmatics of Dependently-Typed Automated Systems
Coq
No issues in this repository yet.