nLab
Author — Jelle Herold

Overview

Jelle Herold has contributed to 3 nLab pages.

Most recent contributions

double category 19:02:42, March 09 2017
type theory 10:31:58, August 31 2014
Coq 10:31:58, August 31 2014

All pages contributed to