3 ms·
Personally I am interested in logic, dependent types, homotopy type theory and category theory. I study them as a side project when I have time.
by solomatov 10y ago
Personally I am interested in logic, dependent types, homotopy type theory and category theory. I study them as a side project when I have time.