proof

MartinLoop 是一个用于控制 AI 编码代理的工具，带有限制、证明和运行收据。

一篇个人博客文章，严谨地介绍黎曼积分并证明微积分基本定理，包含罗尔定理和均值定理等支撑定理。