Profile
Masanori Ogino 𓀁

Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

あれ、ACL2にはunfreeな部分があるのか。nixpkgs.acl2-minimalはunfreeじゃないけれど

@omasanori Account List
omasanori@mstdn.maud.io 56118
Recent
2022-12-22 40 2022-12-21 40 2022-12-20 29 2022-12-19 11 2022-12-18 40 2022-12-17 40 2022-12-16 40 2022-12-14 40 2022-12-13 40 2022-12-11 1
Archives