Thread Index (0402)

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

[mizar] Mizar 7?, Freek Wiedijk

Re: [mizar] Mizar 7?, Adam Naumowicz
- Re: [mizar] Mizar 7?, Freek Wiedijk
- Re: [mizar] Mizar 7?, Freek Wiedijk
  - Re: [mizar] Mizar 7?, Andrzej Trybulec
    - Re: [mizar] Mizar 7?, Freek Wiedijk
Re: [mizar] Mizar 7?, Andrzej Trybulec
- Re: [mizar] Mizar 7?, Freek Wiedijk
  - Re: [mizar] Mizar 7?, Adam Naumowicz
  - Re: [mizar] Mizar 7?, Andrzej Trybulec
    - Re: [mizar] Mizar 7?, Freek Wiedijk
      - Re: [mizar] Mizar 7?, Josef Urban
      - Re: [mizar] Mizar 7?, Josef Urban
      - Re: [mizar] Mizar 7?, Freek Wiedijk
      - [mizar] Errors recovery, Andrzej Trybulec
      - Re: [mizar] Errors recovery, Piotr Rudnicki
      - Re: [mizar] Errors recovery, Freek Wiedijk
      - Re: [mizar] Errors recovery, Andrzej Trybulec

[piotr@sedalia.cs.ualberta.ca: Re: [mizar] Errors recovery], Piotr Rudnicki

Re: [mizar] Errors recovery, Josef Urban
- Re: [mizar] Errors recovery, Adam Naumowicz
Re: [piotr@sedalia.cs.ualberta.ca: Re: [mizar] Errors recovery], Andrzej Trybulec
- [mizar] Errors recovery, Piotr Rudnicki
- [mizar] Why doesn't this behave like I expect?, Freek Wiedijk
  - Re: [mizar] Why doesn't this behave like I expect?, Piotr Rudnicki
  - Re: [mizar] Why doesn't this behave like I expect?, Andrzej Trybulec
    - Re: [mizar] Why doesn't this behave like I expect?, Freek Wiedijk
      - Re: [mizar] Why doesn't this behave like I expect?, Josef Urban

[mizar] [jstevh@msn.com: Proof checking another perspective], Piotr Rudnicki

Re: [mizar] [jstevh@msn.com: Proof checking another perspective], Andrzej Trybulec

[no subject], Andrea Asperti

[mizar] n > 0 vs n <> 0, Artur Kornilowicz

Re: [mizar] n > 0 vs n <> 0, Piotr Rudnicki
- Re: [mizar] n > 0 vs n <> 0, Andrzej Trybulec