Thread Index (0211)

Last update: Thu Dec 16 20:23:18 2021
21 threaded messages

[mizar] puzzle, Adam Naumowicz

Re: [mizar] puzzle, Freek Wiedijk
- Re: [mizar] puzzle, Piotr Rudnicki

[mizar] Maintenance, Andrzej Trybulec

[mizar] New Mizar articles, Adam Grabowski

[mizar] Global choice, Andrzej Trybulec

[mizar] Hindrances, Andrzej Trybulec

Re: [mizar] Hindrances, Piotr Rudnicki
- Re: [mizar] Hindrances, Freek Wiedijk
  - Re: [mizar] Hindrances, Piotr Rudnicki
    - Re: [mizar] Hindrances, Freek Wiedijk
- Re: [mizar] Hindrances, Andrzej Trybulec
  - Re: [mizar] Hindrances, Piotr Rudnicki
    - [mizar] List, Freek Wiedijk
      - [mizar] MoMM:Most of Math Matches, Josef Urban
Re: [mizar] Hindrances, Josef Urban
<Possible follow-ups>
Re: [mizar] Hindrances, Zenon Kulpa
- Re: [mizar] Hindrances, Andrzej Trybulec
Re: [mizar] Hindrances, Zenon Kulpa