Area 51 » B2C

info activity reputation

reputation

0 views

discussion user

network profile

Registered User

name	B2C
member for	3 years
seen	Nov 19 '21 at 23:53
website
location	Huntsville, AL, USA

I'm a researcher in formal methods with an amateur interest in set theory, large cardinals, algebraic geometry, scheme theory, and HoTT.

stats accounts

0

Proposals

0

Current Commitments

0

Fulfilled Commitments

0

Followed

0

Example Questions

0

Votes Cast

1

Badges

user feed