Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 05-Sep-2021 13:38:26 JST きゅーけー

   重要があるのか謎だけど ACL2 に関する記事を書いた。この記事を読んでも ACL2 が使えるようになる要素は皆無なんだけど、ACL2 でどんなことができるかは日本語で発信していくべきだと思うのでしばらく続けようと思う。https://www.tojo.tokyo/comb-factorial.html

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 05-Sep-2021 20:17:15 JST きゅーけー

     in reply to

     s/重要/需要/