Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Isar 参考手册第 6.1.3 节
指出 oops 的类型是
证明 → local_theory | 理论
这是什么类型proof？这是证明（证明）、证明（状态）和证明（链）的总称吗？
proof