Comment by QuesnayJr

9 hours ago

Lean's proofchecker is a big piece of code, so it's possible that it has a bug (and historically has had some).

0 comments