nLab Author — Andrej Bauer

Overview

Andrej Bauer has contributed to 3 nLab pages.

Most recent contributions

Amélia Liao	21:57:58, October 08 2022
constructive mathematics	05:30:08, August 27 2021
MacNeille completion	19:42:21, September 09 2019

All pages contributed to