GitHub repository: minnakamiyuki/Whu-Lambda
Primary language: Coq
Created: 2021-12-14T10:49:36Z
Description: Whu Lambda Lectures