『An_Extensible_Theorem_Proving_Frontend』