[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] Mizar 7.8.07 accepts an incorrect inference?
It looks like there are two new articles since the last release (MML
4.93.997) -- what are they?
Jesse
Adam Naumowicz <adamn@math.uwb.edu.pl> writes:
> Hello,
>
> On Sat, 29 Dec 2007, Shidama Yasunari wrote:
>
>> Dear Prof. Adam Naumowicz and Prof. Bill Chisolm, Thank you very
>> much for your bug reports and quick response. Now we are preparing
>> the fundamental theorems for formalization proof of Poincare's
>> lemma(by Grisha Perelman ) systematically. Quite a lot of time is
>> necessary for it. So we need the " normal systems" as soon as
>> possible.
>
> I've just uploaded the fixed version (7.8.08) to the main Mizar server
> -
> please upgrade your Mizar system if you're using schemes in your proofs.
>
> All the best (less bugs ;-)) for all Mizarians for the New Year!
>
> Adam Naumowicz
>
> ======================================================================
> Department of Applied Logic fax. +48 (85) 745-7662
> Institute of Computer Science tel. +48 (85) 745-7559 (office)
> University of Bialystok e-mail: adamn@mizar.org
> Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
> ======================================================================
>
>
--
Jesse Alama (alama@stanford.edu)