Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 4 years ago
アカハナ akahana@fla.red
ACL2何！？となったけど、これかー - ACL2 Version 8.3 https://www.cs.utexas.edu/users/moore/acl2/