Isabelle/HOL
http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011/doc/tutorial.pdfhttp://gist.github.com/958500うーむ、ぜんぜんわかってない。特殊記号の入力で手惑う。 Isabelles2011/etc/symbolsにProofGeneralが補完している特殊記号のテーブルがあ…
http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011/doc/tutorial.pdfhttp://gist.github.com/958500うーむ、ぜんぜんわかってない。特殊記号の入力で手惑う。 Isabelles2011/etc/symbolsにProofGeneralが補完している特殊記号のテーブルがあ…