Post #2334001
2026-05-05 17:12 UTC
@jonmsterling@mathstodon.xyz Previous was not finished, I expect the similar destiny of followed project. The trail of not finished projects is prolongating. OK. The success story of Bauer's zoo.
Replies (1)
-
@5ht@mathstodon.xyz 2026-05-05 17:18
@jonmsterling@mathstodon.xyz Europe had non cubical HoTT before you leave CMU, mister!