joshuagrochow, 1 month ago @andrejbauer @MartinEscardo @11011110 @yforster Yes, that's one line of research we've already been reading. Didn't realize he was on here though, thanks.
@andrejbauer @MartinEscardo @11011110 @yforster Yes, that's one line of research we've already been reading. Didn't realize he was on here though, thanks.