From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <aen@altlinux.ru>
Message-ID: <3E759FA7.6090905@altlinux.ru>
Date: Mon, 17 Mar 2003 13:12:55 +0300
From: aen <aen@altlinux.ru>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; ru-RU; rv:1.3) Gecko/20030309
X-Accept-Language: ru-ru, ru
MIME-Version: 1.0
To: devel@altlinux.ru
Subject: Re: [devel] I: new package
References: <Pine.LNX.4.53L.0303160336550.12796@ontil.ihep.su>
In-Reply-To: <Pine.LNX.4.53L.0303160336550.12796@ontil.ihep.su>
X-Enigmail-Version: 0.73.1.0
X-Enigmail-Supports: pgp-inline, pgp-mime
Content-Type: text/plain; charset=KOI8-R; format=flowed
Content-Transfer-Encoding: 8bit
Sender: devel-admin@altlinux.ru
Errors-To: devel-admin@altlinux.ru
X-BeenThere: devel@altlinux.ru
X-Mailman-Version: 2.0.9
Precedence: bulk
Reply-To: devel@altlinux.ru
List-Unsubscribe: <http://altlinux.ru/mailman/listinfo/devel>,
	<mailto:devel-request@altlinux.ru?subject=unsubscribe>
List-Id: <devel.altlinux.ru>
List-Post: <mailto:devel@altlinux.ru>
List-Help: <mailto:devel-request@altlinux.ru?subject=help>
List-Subscribe: <http://altlinux.ru/mailman/listinfo/devel>,
	<mailto:devel-request@altlinux.ru?subject=subscribe>
List-Archive: <http://altlinux.ru/pipermail/devel/>
Archived-At: <http://lore.altlinux.org/devel/3E759FA7.6090905@altlinux.ru/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>

Vitaly Lugovsky пишет:

> why-1.05-alt1.src.rpm ушёл в incoming.
>
> Это средство для автоматического доказательства аннотированных
>программ (т.е. спецификация идёт внутри кода, а не отдельными
>утверждениями), работает поверх Coq (и некоторых других
>proof-assistant-ов). Понимает некоторое подмножество языка C (без
>арифметики указателей) и подмножество Caml (без type inferrence,
>и т.п.)
>
> A must have для любого уважающего себя программиста. Давайте
>писать доказанно безошибочный код, и побольше!
>

Давайте :-)

Rgrds, Алексей

>  
>