Thread Index (2509)

Last update: Fri Sep 26 00:15:03 2025
8 threaded messages

[mizar] wsmiz.xml missing?, Alex Nelson

Re: [mizar] wsmiz.xml missing?, adamn
- Re: [mizar] wsmiz.xml missing?, Alex Nelson
  - Re: [mizar] wsmiz.xml missing?, Alex Nelson

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

Re: [mizar] Compositions of regular matroids, Lean and Mizar, paul young