[
Date Prev
][
Date Next
]
[Chronological]
[Thread]
[Top]
[mizar] MML duplications
To
:
mizar-forum@mizar.uwb.edu.pl
Subject
:
[mizar] MML duplications
From
:
Josef Urban <
urban@ktilinux.ms.mff.cuni.cz
>
Date: Tue, 29 Jul 2008 02:19:18 +0200 (CEST)
Hi,
at
http://octopi.mizar.org/~urban/dupl.html
is a list of more than 1000
MML duplications.
Josef
Follow-Ups
:
Re: [mizar] MML duplications
From:
Jesse Alama <alama@stanford.edu>
Re: [mizar] MML duplications
From:
trybulec <trybulec@math.uwb.edu.pl>
References
:
[mizar] [Hol-info] New article type PROOF PEARLS in Journal of Automated Reasoning (fwd)
From:
Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Prev by Date:
[mizar] [Hol-info] New article type PROOF PEARLS in Journal of Automated Reasoning (fwd)
Next by Date:
Re: [mizar] MML duplications
Index(es):
Chronological
Thread