GitHub repository: xuehzjing/CS263-Project-Denotation-Equiv
Primary language: Coq
Created: 2020-05-22T06:37:03Z
Description: Project for Programming Languages CS 263, Spring 2020 (http://jhc.sjtu.edu.cn/public/courses/CS263/)