Conversation

Notices

1. Embed this notice
   きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 05-Feb-2023 18:08:20 JST きゅーけー

   • かき@GNUsocialJP

   ACL2 の force の使い方ようやく分かった気がする。いままで証明に書いてたヒント減らせそう。

   • B̅ repeated this.
   • Embed this notice
     きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 05-Feb-2023 18:10:27 JST きゅーけー

     in reply to

     • かき@GNUsocialJP

     force 超重要じゃん。これで、あれなんでこの定理使われないん？ってやつの多くが解決しそう。