Some Translations

This is a list of documents of others I translated (mostly from English to Korean). Not only the quality of translation is surprisingly low, but also the contents of these can differ from those of the original because they were translated long ago. I cannot hold myself responsible for any harm which can be done to the reader who chooses one of these rather than its original version.

• Coq 입문서: This is a tutorial of the Coq proof assistant translated in early 2003. The title of the original English version written by Gérard Huet, Gilles Kahn, and Christine Paulin-Mohring is “The Coq Proof Assistant: A Tutorial”, and its copyright belongs to INRIA. The copyright of this translated version is not settled yet because there is no detailed information about translations in the original copyright notice. If any problem related with copyright occurs, this translation will disappear from network.