Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 04-Aug-2021 23:24:14 JST きゅーけー

   昨日は ACL2 を紹介するための例を考えてるだけで終わったので今日中に何か思い付きたい。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 05-Aug-2021 00:06:56 JST きゅーけー

     in reply to

     うーん、何も思いつかない。放っておくと鈍りそうなのでなんか証明しよう……。