lets-prove-leftpad icon indicating copy to clipboard operation
lets-prove-leftpad copied to clipboard
verified publisher icon hwayne

Lean Proof Link Doesn't Work

Open hwayne opened this issue 3 years ago • 1 comments

It's because it uses a lemma from the Lean4 std (nat.sub_add_eq_max) but the online prover is running Lean3

hwayne avatar Nov 10 '22 18:11 hwayne

https://github.com/hwayne/lets-prove-leftpad/issues/59 will fix this once merged

hwayne avatar Mar 03 '25 22:03 hwayne