Buffer Overflow in Lean_io_prim_handle_read(github.com)2 ポイント·投稿者 gopiandcode·3 か月前·1 コメントgithub.comBuffer Overflow in Lean_io_prim_handle_readhttps://github.com/leanprover/lean4/issues/133881 コメントコメントを投稿[–]rvz·3 か月前返信That's nasty.