3 ms·

https://research.jetbrains.org/groups/group-for-dependent-types-and-hott https://research.jetbrains.org/groups/group-for-dependent-ty...