Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 30-Jun-2024 00:42:09 JST きゅーけー

   ACL2 の勉強してなんかに役立ててみるというのが、自分の一番やりたいことに近い気がするのでそういう方向に趣味のリソースを倒すのがいいのかもしれない。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 30-Jun-2024 00:43:38 JST きゅーけー

     in reply to

     ACL2 なら cons セルが一番大切ということについて誰も文句がいえない環境というのもよい。