[일반] 증명보조기 같은거 써본 사람 있음??

[익명(59.187)]

lean 같은거

[익명(220.87)]

깃헙갤에 함슬람새끼들이 쓸텐데

[ㅇㅅㅇ(180.67)]

나

[익명(59.187)]

난 코딩은 거의 첨이고 lean도 자연수 게임 초반부만 해봤는데 자기가 원하는 증명 아무거나 할 수 있는거임?? 좀 신기하네

[수갤러 2(118.235)]

자기가 뭘 작성하고 있는지 똑바로 알기만 하면 아무거나 가능.

[수갤러 1(220.71)]

증명보조기가 뭐여

[다믜(damhiya)]

나