GitHub repository: sbwimmer/forallx-do
Primary language: TeX
Description: TU Dortmund version of forallx, an introduction to formal logic. Based on UCalgary version of forallx.