3 ms·
> Type theory is already quite capable of it, despite what others in this thread would like you to believe. I know but mathemeticians wanted HoTT.
by guerrilla 4y ago
> Type theory is already quite capable of it, despite what others in this thread would like you to believe.
I know but mathemeticians wanted HoTT.