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

[mizar] Mizar-like proofs

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mizar-like proofs
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Fri, 5 May 2006 20:32:36 +0200 (CEST)

Hi,

At http://citeseer.ist.psu.edu/huang94reconstructing.html is an article,where the Mizar "by" proof granularity seems to be largely reinvented.Was Mizar that much unknown in 1994?


Josef

Follow-Ups:
- Re: [mizar] Mizar-like proofs
  - From: John Harrison <John.Harrison@cl.cam.ac.uk>

Prev by Date: [mizar] pretty Mizar constructor names
Next by Date: Re: [mizar] Mizar-like proofs
Index(es):
- Chronological
- Thread