y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

Category Theory Advent Calendar 2018,余裕があればKripkeフレームとBAOの対応についてなんか勉強して書きたいですね

· Web · 2 · 1