種別[hbm] セクションJRF の公開ブックマーク 日時2016年01月07日 15:24:12 元URLhttp://www.cl.cam.ac.uk/research/hvg/Isabelle/ タグ[コンピュータ定理証明] Isabelle