tag: ACL2

ACL2の強力なルールについて

<2022-08-18 Thu>

ACL2 で非末尾再帰と末尾再帰の階乗関数が等しいことを証明した

<2022-08-17 Wed>

グッドスタインの定理をACL2で証明できるか気になってる

<2022-08-14 Sun>