Rocq kernel bug yields a checked proof of False
Closing a module that used Local Unset Universe Checking does not restore the flag, and Print Assumptions still reports the proof closed.
Stories per day · 30 days
1 stories, newest first · one card per story