Mizar on ftp

• Messages sorted by: [ date ][ thread ][ subject ][ author ]
• Next message: John McCarthy: "Re: set theory"
• Previous message: David McAllester: "set theory"

Mizar is available through anonymous ftp from

Name: menaik.cs.ualberta.ca
Address: 129.128.4.241

in directory

ftp/pub/Mizar

There is a Readme there.

-- 
Piotr (Peter) Rudnicki

• Next message: John McCarthy: "Re: set theory"
• Previous message: David McAllester: "set theory"