/CS591K1-Labs

Lab notes and code for BU CAS CS591 K1 - Foundations and Pragmatics of Dependently-Typed Automated Systems

Primary LanguageCoq

No issues in this repository yet.