GitHub repository: Gastd/fptt
Primary language: Coq
Created: 2018-09-16T21:35:45Z
Description: Solutions to Coq exercises from Formal proof: an Introduction to Type Theory class in 2018/1