coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Nikolay Hudyakov <klk AT udm.ru>
- To: "COQ" <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Latex source of tutorial
- Date: Fri, 14 May 2004 11:05:51 +0500
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Good day!
I want to translate the COQ Tutorial to the russian
language.
Can I take a LaTeX source of it? Where?
Thanks, Nikolay.
----------------------------------------------------
éôô-ÔÅÌÅÆÏÎÉÑ ÄÌÑ ÐÏÌØÚÏ×ÁÔÅÌÅÊ îÁÒÏÄÎÏÇÏ éÎÔÅÒÎÅÔÁ:
íÏÓË×Á É óÁÎËÔ-ðÅÔÅÒÂÕÒÇ - 1 ÒÕÂÌØ ÚÁ ÍÉÎÕÔÕ ÄΣÍ
óûá, ëÁÎÁÄÁ, çÅÒÍÁÎÉÑ - 3 ÒÕÂÌÑ ÚÁ ÍÉÎÕÔÕ
ÐÏÄÒÏÂÎÅÅ http://itt-phone.ru
- [Coq-Club] Latex source of tutorial, Nikolay Hudyakov
Archive powered by MhonArc 2.6.16.