[이성찬0]

안녕하세요 조교님,

챌린지 4, 5번 문제를 Coq으로 증명했습니다.
혹시 이를 이대로 제출하는게 가능한가요?

(정말 혹시나 해서 질문 드리는 것이니 불가능해도 괜찮습니다)

또한 풀이를 타이핑한 뒤 출력해서 제출해도 괜찮은가요?
자필이어야 하는지 궁금합니다.

감사합니다.

이성찬 올림

[김도형]

안녕하세요.

1. Coq 풀이는 아무래도 챌린지에서 요구하는 바는 아니다 보니 제출할 수 없습니다.

2. 가능합니다.

감사합니다.