[%] Agda로 아인슈타인 퍼즐 푸는중

[다믜(damhiya)]

오늘 새벽 6시까지 잠 안자고

"2번집이 파란색이다" 이거 하나 증명함 ㅅㅂ ㅋㅋㅋㅋㅋㅋ

[Coma(bmh4080)]

[Coma(bmh4080)]

[ஐ(bemanisokr)]

[ஐ(bemanisokr)]

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[다믜(damhiya)]

조건을 Rules라고 정의하고 (Rules -> "물고기=독일") && (Rules만족하는 사례 존재) 를 증명할라고

[다믜(damhiya)]

뭐가 안된다는건지 잘 이해를 못했는데

[ㅇㅅㅇ(61.253)]

재밌어 보이는 언어네

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[다믜(damhiya)]

아마 될거라고 생각하는데

[다믜(damhiya)]

뭐 나중에 되면 코드 올려봄

[다믜(damhiya)]

아 혹시 자동증명 말하는거임?

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[다믜(damhiya)]

emacs용 agda-mode가 있어서 latex키워드처럼 입력할 수 있음