Rocq guard checker misses recursive calls via higher-order arguments (CVE-2026-72705)
A checked proof of False, including 0 = 1, needs no axioms, tactics, plugins, or unsafe flags.
Stories per day · 30 days
1 stories, newest first · one card per story