[질문] 예전에 여기서 본 것 같은데 자연수 게임이라고

[익명(58.237)]

거기 사이트 혹시 주소 있는 분 계신가요..,. 서치해봐도 안나옴 ㅠㅠ

[익명(211.246)]

오일러프로젝트?

[익명(58.237)]

아뇨 그건 아닌것 같아요... 자연수끼리 덧셈하고 곱셈하고 그런걸 진짜 단순한 함수부터 시작해서 axiom들을 증명하는 거였음...

[익명(39.7)]

https://leanprover.github.io/tutorial/
이런 거?

[익명(58.237)]

아뇨 아주 큰 범주에서만 비슷한것 같고 제가 찾던거랑은 많이 다르네요

[익명(220.94)]

나중에 해보려고 보관함 넣어뒀었는데 지금 들가보니까 게시글 삭제됐네

[익명(58.237)]

네 게시글이랑 상관없이 서치를 해보려고 해도 뭐 걸리지가 않네요

[익명(220.94)]

검색한 거 맞음? 혹시나싶어서 검색해봤는데 바로나오는데
https://semmalgil.github.io/natural_number_game/

[익명(58.237)]

제가 전공이 수학이라 Natural number란 말을 쓴지 너무 오래돼서 나도 모르게 Integer game으로만 검색하고 앉았었네요... ㅋㅋㅋㅋ 어쨌든 고맙습니다 즐겜할게요

[익명(39.7)]

린 3에서 린 4로 옮기는 작업을 하느라 깃 원격 저장소를 잠시 삭제했습니다. 그런데 린 4는 웹 브라우저 버전이 없는 것이 문제네요. 직접 컴퓨터에 린 4 개발 환경을 설치해야 됩니다.

[C#(cpppp)]

https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/?world=2&level=1