type_theory.json

https://arbital.com/p/type_theory

by Jack Gallagher May 25 2016 updated May 25 2016

Modern foundations for formal mathematics.

Hub page for type theory explanations