SAGA's Cape of Good Hope: The One Cent That Cohomology Caught
TL;DR This is the sequel to the SAGA theorem article. Last time, I gave the "locally correct, globally broken" phenomenon a theorem, proved in Lean 4. This time I took that theorem out into the real
Jul 18, 202616 min read19
