Borel jet extensions via higher categories and homotopy type theory
By measurablefunc · 2026-10-10 · 1 points · 0 comments
https://higher-borel-jets.grok.me/
By measurablefunc · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews