>>798842
ACL2ってなかなかひどい日程やな。
その上価値も低いし。