Full threadnikivi·I collected many links here:https://wiki.nikitavoloboev.xyz/math/type-theoryView on HN