[過去ﾛｸﾞ] 数学の本 第101巻 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
190(1): 09/27(金)16:48 ID:L+1IrTVD(1/2) AAS
適当なスレがないからここで聞くけど、Coqのインストール方法がわかりやすく書いてるサイト教えてくれ
外部ﾘﾝｸ:github.com
から冒頭の｢Windows (64 bit) installer for Coq 8.18.0 with MathComp 1.18 (default)｣
を落としてインストールしたけど、CoqIDEを起動した直後に強制終了してしまう。
何で？
っていうか、スタートメニューのCoqIDEアイコンにアイコン画像すら登録されてないんだが。
上下前次1-新書関写板覧索設栞歴
あと 812 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s