[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Euclid's Elements

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Euclid's Elements
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Sun, 20 Oct 2002 16:09:24 -0600

Hi:

Has anybody done beginnings of Euclid's Elements in Mizar, Mizar-MSE, or 
any other proof assistant?

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr

Follow-Ups:
- Re: [mizar] Euclid's Elements
  - From: Freek Wiedijk <freek@cs.kun.nl>
- Re: [mizar] Euclid's Elements
  - From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>

Prev by Date: [mizar] New Mizar articles
Next by Date: Re: [mizar] Euclid's Elements
Index(es):
- Chronological
- Thread