Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and […]

🌉 bridged from ⁂ https://mathstodon.xyz/@MartinEscardo, follow @ap.brid.gy to interact