제가 (대개 영어에서 한국어로) 번역한 몇 가지 외부 문서들입니다. 번역의 수준이 원체 허접스울 뿐만 아니라 번역한지 오래되어 이미 원문의 최신판과는 내용이 다를 수 있습니다. 원문이 아닌 이 번역문들을 읽어서 독자에게 일어날 수 있는 모든 일에 대해 일체 책임질 수 없음을 미리 밝힙니다.
Coq 입문서: 2003년 초에 한국어로 번역한 증명 보조 도구 Coq의 입문서입니다. Gérard Huet과 Gilles Kahn, Christine Paulin-Mohring이 쓴 영어 원문의 제목은 “The Coq Proof Assistant: A Tutorial”이며, 저작권은 INRIA에 있습니다. 원 저작권 문구에 번역에 관한 세부 사항이 없기에 이 번역문의 저작권도 정해진 바 없으며, 만일 저작권 상의 문제가 발생하면 이 문서는 온라인 상에서 사라지게됩니다.