« Return to Thread: "The QED Project"

Re: "The QED Project"

by slawekk :: Rate this Message:

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@...>
> Date: Tue, 20 Jan 2009 14:12:20 +0100
> From: Arnold Neumaier <Arnold.Neumaier@...>
> To: Freek Wiedijk <freek@...>
> Subject: The QED Project
> would like to know about which
> people to
> contact for possible collaboration.
>

« Return to Thread: "The QED Project"