ACL2出れたらいいなあ。

下の2つ見て妄想中
note.com/twitistwit/n/n98cffb380894

ja.m.wikipedia.org/wiki/AFC%E3%82%AF%E3%83%A9%E3%83%96%E3%82%B3%E3%83%B3%E3%83%9A%E3%83%86%E3%82%A3%E3%82%B7%E3%83%A7%E3%83%B3%E3%83%A9%E3%83%B3%E3%82%AD%E3%83%B3%E3%82%B0