定理証明システム…

jrf> 定理証明システム Isabelle。検索してもほとんど情報が出てこなくなった。あつ森の「しずえ」が英語では Isabelle らしく、それに汚染されてしまったか。とにかく検索に引っかかるのが公式の pdf ばかり。