GitHub repository: junqi-xie-learning/CS2603-Assignments
Primary language: Coq
Description: The assignments from CS2603 Programming Languages (2021 Spring) with my solutions