652コメント203KB

コンピューターによる定理の自動証明

■ このスレッドは過去ログ倉庫に格納されています

0357１３２人目の素数さん

2007/08/28(火) 02:29:56

証明の検証だけでも十分便利だと思うけどね

■ このスレッドは過去ログ倉庫に格納されています