Isabelle/jEdit is a fully-featured Prover IDE, based on Isabelle/Scala and the. jEdit text editor. This document provides an overview of general principles.
確定！ 回上一頁
