3 ms·
> It's typically a view held by very experienced mathematicians. It's typically a view held by very experienced type theorists. There, fixed it for you.
by auggierose 2y ago
> It's typically a view held by very experienced mathematicians.
It's typically a view held by very experienced type theorists.
There, fixed it for you.
- anon291 2y agoType theory is a... type of mathematics lol
- deleted 2y ago[deleted]
- auggierose 2y agoI'll admit, that's a good one.