GitHub repository: leanprover/logic_and_proof
Primary language: TeX
Created: 2015-08-10T19:49:15Z
Description: CMU Undergrad Course