Archives mensuelles : octobre 2017

#HoTT The Book : 1.11 propositions as types

Publicités