あすたーいずむ
6mo ago
Brouwer 的な等しさの概念は MLTT / HoTT では完全にキャプチャーできてないと思うんだよなあ
Reply to this note
Please
Login
to reply.
Discussion
No replies yet.
