ss2017

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

--- ss2017 [2026/03/03 17:55] – [プログラム] pplchair
+++ ss2017 [2026/03/03 17:55] (現在) – [受講者へのご連絡] pplchair
@@ 行 70: / 行 70: @@
   * 快適な証明環境のためには，ある程度高性能なマシンが必要です．HDD/SSDの空き容量が10GB，メモリが1GB以上の(相応なCPUを積んでいるような)マシンならば大丈夫と思われます．
-  *  事前に， [[//www.cl.cam.ac.uk/research/hvg/Isabelle/installation.html:https://www.cl.cam.ac.uk/research/hvg/Isabelle/installation.html|https]]
+  *  事前に， [[https://www.cl.cam.ac.uk/research/hvg/Isabelle/installation.html:https://www.cl.cam.ac.uk/research/hvg/Isabelle/installation.html]]
 に従って Isabelle をインストールし，一度起動しておいてください．

ss2017.txt · 最終更新: 2026/03/03 17:55 by pplchair