Comment Comment by jey Wow, JetBrains has a whole HoTT and Dependent Types Research Group: https://research.jetbrains.org/groups/group-for-dependent-ty... parent jey 7 years ago
