Giters

astump / ittc

Materials related to the Iowa Type Theory Commute podcast

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ittc

Materials related to the Iowa Type Theory Commute podcast

About

Materials related to the Iowa Type Theory Commute podcast

Languages

Language:TeX 99.6%Language:Makefile 0.4%