種別[hbm] セクションJRF の公開ブックマーク 日時2006年04月25日 02:04:08 元URLhttp://www.cl.cam.ac.uk/Research/HVG/Isabelle/ タグ[software] [コンピュータ定理証明] Isabelle