itleigns

フォローする

Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明

この記事を高評価した人

詳しくみる

投稿者

@itleigns

itleigns

関連記事

高校までの極限の問題点とε-δ論法

【高校数Ⅲ(?)】【積分】Twitterに流れてきた問題を紹介&解答

区間縮小法の原理で「2乗して2になる正の実数（√2）」の存在を確認する

コメント

質問 2020年12月31日 （編集済み）

めいぜんおーえす

0

返信を表示 返信を非表示