arXiv cs.SE· Yutaka Nagashima·· 1 小时前AI 评分36
ProofStudio：在浏览器中集成五个证明助手
ProofStudio: Five Proof Assistants in the Browser
AI 导读
ProofStudio 是一个基于浏览器的环境，集成 Isabelle/HOL、Lean、Rocq、HOL4 和 HOL Light 五个证明助手，并配有对应示例、预配置的证明搜索和上下文 AI 辅助。用户无需本地安装即可在统一界面中查看形式化规约与证明，并查看各证明器返回的原生反馈。
来源：arXiv cs.SE · arxiv.org