isabelle - 代码之家

“高效”最小和最大不动点计算?

Dominic Mulligan · 技术社区 · isabelle · 7 年前

Isabelle中的范围限制/域限制

lburski · 技术社区 · isabelle restriction symbols range set · 8 年前

Dominique Unruh · 技术社区 · isabelle · 8 年前

命题逻辑的格区分

Gergely · 技术社区 · isabelle logic · 9 年前

在Isabelle/jEdit中处理理论而不保存

Lars Noschinski · 技术社区 · isabelle · 10 年前