ProofWeb

ProofWeb

知らなかった。CoqとかIsabelleとかのような定理証明器をウェブ上で動かせます。インストールがいらないのでちょっと遊んでみるのに便利ですね。まあ、操作性では劣りますが。