GitHub repository: vcvpaiva/DialecticaCategories
Primary language: TeX
Created: 2017-04-10T04:20:03Z
Description: A place to collect  work on dialectica categories.