GitHub repository: DavidMichaelRoberts/catlog
Primary language: TeX
Description: Categorical logic from a categorical point of view