Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 12:50:07 JST きゅーけー

   とりあえずここら辺の問題を解き直すか。忘れてるし。https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____INTRODUCTORY-CHALLENGE-PROBLEM-1

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 19:00:07 JST きゅーけー

     in reply to

     しばらくは ACL2 やろう。定理証明面白い。