GitHub repository: szymtor/locfin
Primary language: TeX
Created: 2015-03-04T08:29:49Z
Description: Locally Finite CSP templates