Pinned Repositories
alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
CategoryTheory_Course
Documents for the course on Category theory
CMU
This repository contains projects (presentations, notes, etc...) that I do for my PhD
EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
GraphModel
We formalize aspects of the graph model of type theory
HoTT-Intro
An introductory course to Homotopy Type Theory
hott_cmu80818
Companion code to CMU course on Homotopy Type Theory
OEIS-A000001
sequential_colimits
agda-unimath
The agda-unimath library
EgbertRijke's Repositories
EgbertRijke/CategoryTheory_Course
Documents for the course on Category theory