观察收敛的条件形式化：基于 Isabelle/HOL 的模型与边界分析
本文报告了在Isabelle/HOL中开发的RC条件接口，该接口基于过程实在论研究纲领，区分了语境内容、已实现主体等要素，提供了从有限时间精确共识到持续登记标签的条件适配器，并包含多种具体解释和失败对照分析。
博客雷达不转载正文。这里只有标题、作者、时间和一小段 AI 生成的摘要；全文在作者自己的站点上，阅读请点上面的按钮过去——文章的版权一直在原作者手里。
你也在写博客？做一张「已被博客雷达收录」的徽章挂回自己的站，想挂就挂，也不占首页。