https://cognaptus.com/tags/lean/ Recent content in Lean on Cognaptus Hugo -- 0.145.0 en-us Mon, 06 Apr 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-04-06-proofs-at-scale-when-30000-agents-replace-the-referee/ Mon, 06 Apr 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-04-06-proofs-at-scale-when-30000-agents-replace-the-referee/ A mechanism-first reading of automatic textbook formalization: why the breakthrough is not just stronger theorem proving, but disciplined agent orchestration at repository scale.