Buffer Overflow in Lean_io_prim_handle_read(github.com)2 points·by gopiandcode·3 เดือนที่ผ่านมา·1 commentsgithub.comBuffer Overflow in Lean_io_prim_handle_readhttps://github.com/leanprover/lean4/issues/133881 commentsPost comment[–]rvz·3 เดือนที่ผ่านมาreplyThat's nasty.