nLab Nikolaj Kuntner
I’m a physicist interested in clear and encompassing foundations. I create video content on type systems and category theoretical concepts on youtube.
Nikolaj Kuntner: how to do a query text
Last revised on August 31, 2020 at 21:46:46. See the history of this page for a list of all contributions to it.