Madeleine Birchfield

2,454
reputation

Amateur constructive mathematician and homotopy type theorist