您要查找的是不是：
- Isabelle工具Isabelle
- Isabelle／HOL／IsarIsabelle/HOL/Isar
- Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions.
