3 ms·
I collected many links here: https://wiki.nikitavoloboev.xyz/math/type-theory https://wiki.nikitavoloboev.xyz/math/type-theory
by nikivi 6y ago
I collected many links here:
https://wiki.nikitavoloboev.xyz/math/type-theory https://wiki.nikitavoloboev.xyz/math/type-theory
- deleted 6y ago[deleted]
- adder46 6y agoAwesome. :)