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

[mizar] ATP and presentation service for Mizar updated to MML 5.94.1493

To: mizar-forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] ATP and presentation service for Mizar updated to MML 5.94.1493
From: Josef Urban <josef.urban@gmail.com>
Date: Tue, 16 Sep 2025 11:37:04 +0200

I have now updated the MizAR service (http://grid01.ciirc.cvut.cz/~mptp/MizAR.html or via Emacs) to handle also the latest MML version 5.94.1493 .

Josef

Follow-Ups:
- Re: [mizar] ATP and presentation service for Mizar updated to MML 5.94.1493
  - From: adamn@math.uwb.edu.pl

Prev by Date: Re: [mizar] wsmiz.xml missing?
Next by Date: Re: [mizar] ATP and presentation service for Mizar updated to MML 5.94.1493
Index(es):
- Chronological
- Thread