Beyond-experimental alternative to Isabelle/jEdit and ProofGeneral