Tag
MartinLoop is a tool for controlling AI coding agents with limits, proof, and run receipts.
A personal blog post rigorously introducing the Riemann integral and proving the Fundamental Theorem of Calculus, including supporting theorems like Rolle’s and the Mean Value Theorem.