您要查找的是不是:
- Isabelle工具Isabelle
- Isabelle/HOL/IsarIsabelle/HOL/Isar
- Isabelle是一種用來(lái)構造交互式定理證明器的邏輯框架,由它構造的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.