|
|
|
|
|
|
by chobytes
1952 days ago
|
|
|
I went into my math undergrad having gotten hyped online about CT and HoTT.
...And basically the only time i've seen CT come up is in algebra (they use aluffi). And the only time Ive heard anything about HoTT was when I tried bringing it up with the logic graduate students and got some light teasing. |
|
|