[%] 예전에 자연수게임 있지않았냐

[익명(221.163)]

링크 머였지

[익명(183.96)]

https://semmalgil.github.io/natural_number_game/

[익명(221.163)]

ㄳ

[익명(221.145)]

아직 깃을 잘 다룰 줄 몰라서 한국어 번역 검토를 안 하고 린 4(Lean 4)와 리눅스 관리부터 배우고 있어. 나중에 자연수 게임을 개정해서 새 홈페이지에 올릴게.