Martin Escardo
@MartinEscardo@mathstodon.xyz
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
Martin Escardo
@MartinEscardo@mathstodon.xyz
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
@MartinEscardo@mathstodon.xyz
·
Apr 08, 2026
@pounce
And I bet that a lot of people who use Mac's wouldn't be using them if something like homebrew to get gnu tools in a simple package manager wasn't available.
View full thread on mathstodon.xyz
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...