GitHub repository: plclub/cis670-16fa
Primary language: Coq
Description: Advanced Topics in Programming Languages, Penn CIS 670,  Fall 2016