yoriyuki
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
.
yoriyuki
@yoriyuki
これからは直観主義数学の時代です(嘘)Coqとかとも相性がいいし。
Apr 08, 2018, 01:40
·
Web
·
0
·
0