[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] "The QED Project"
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: Re: [mizar] "The QED Project"
- From: Slawomir Kolodynski <skokodyn@yahoo.com>
- Date: Thu, 22 Jan 2009 14:50:17 -0800 (PST)
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Message-ID; b=P6a+Nvpjhym1WAYjKd0JFgwo8QQCNq4TYCiPzZ6sDR2mJh9uXvKqFq6Y5Les3hsboKFS8Kjsnx8RYr9iLdOKYUILV1cr5QBXv0v4ZeqgoUGi3V5ooXnTPB8zqGkcVBDAFNqsO0BkycRhUff10ck7b4OTTpwytxsmGPIq2MoZpcs=;
The http://vdash.org/formal/ page in the section "Other Formalization Efforts" contains a list of current projects related to formalized mathematics.
With some web searching this list can be converted to a list of people to contact.
Slawekk
IsarMathLib (www.formalmath.org)
Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
> ----------------------------------------------------------------
> Message-ID: <4975CDB4.2010107@univie.ac.at>
> Date: Tue, 20 Jan 2009 14:12:20 +0100
> From: Arnold Neumaier <Arnold.Neumaier@univie.ac.at>
> To: Freek Wiedijk <freek@cs.kun.nl>
> Subject: The QED Project
> would like to know about which
> people to
> contact for possible collaboration.
>