Hacker News new | ask | show | jobs
by xvilka 1830 days ago
There is also a problem of HoTT and equality reflection incompatibility[1].

[1] https://www2.mathematik.tu-darmstadt.de/~streicher/barc_corr...