Conversation

Notices

1. Embed this notice
   きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 07-Sep-2022 14:44:30 JST きゅーけー

   • B̅
   • かき@GNUsocialJP

   @cmplstofB それであってます。なお ACL ではなくて ACL2 です(A Computational Logic for Applicative Common Lisp の略なので)。証明支援系の一つですね。