GitHub repository: rzach/forallx-yyc
Primary language: TeX
Created: 2016-09-08T03:15:04Z
Description: UCalgary version of forallx, an introduction to formal logic