0209１３２人目の素数さん
2020/08/31(月) 19:38:58.46ID:CK4NnquJそれは翻訳じゃなくて詳細な機械証明をつけたことになるからいいんじゃね？
やれるもんならやってごらん（挑発）
探検
【Coq】コンピューターで証明しよう【コック】©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
それは翻訳じゃなくて詳細な機械証明をつけたことになるからいいんじゃね？
やれるもんならやってごらん（挑発）
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【生活保護】食費切り詰め…焼き魚が400円近くに値上がりしたため108円の缶詰に 物価高と減額に苦しむ受給者 ★4 [nita★]
- 【しんぶん赤旗】 蓮舫知事を誕生させることができれば、日本共産党は与党第１党に [お断り★]
- 【週刊女性】松本人志が『週刊文春』を訴えた5.5億円裁判で「性被害の認識はない」発言撤回か、告発女性たちの中で起きた“仲違い”★2 [Ailuropoda melanoleuca★]
- 【芸能】加護亜依、300枚のチケットが完売せず「昔トップアイドルだったのに」 ライブ2日前に弱音「ショック」「イメージが悪すぎる」 [冬月記者★]
- 万博会場のメタンガス 爆発現場以外でも５か所 基準値超え76回検知…対策発表 [少考さん★]
- 前澤友作氏 ソファで13歳のバイオリニストの演奏を聴く姿への批判に釈明「そういう見方も…誤解を生まないような発信を心がけます」 [muffin★]
- 【原点回帰】ホロライブ総合スレ🏡
- VIPでウマ娘
- 【岸田悲報🤦】新紙幣、来るｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ [151291598]
- コンマ3桁ゾロ目コンプリートスレ
- 漫画の歴史とか抜きにして「人類史上最も完成度の高い漫画」ってなんだと思う？
- 万博会場、メタンガスが爆発現場以外でも５か所 基準値超え76回検知…どうすんのこれ… [434776867]