Thread Index (0711)

Last update: Thu Dec 16 20:23:29 2021
41 threaded messages

Re: [mizar] mizar and many-sorted first-order logic, Josef Urban

[mizar] copy/paste detection in MML, Josef Urban

[mizar] Once more: empty types, Freek Wiedijk
- Re: [mizar] Once more: empty types, Jesse Alama
  - Re: [mizar] Once more: empty types, Freek Wiedijk
  - Re: [mizar] Once more: empty types, Andrzej Trybulec
    - Re: [mizar] Once more: empty types, Freek Wiedijk
- Re: [mizar] Once more: empty types, Josef Urban
  - Re: [mizar] Once more: empty types, Adam Naumowicz
    - Re: [mizar] Once more: empty types, Josef Urban
    - Re: [mizar] Once more: empty types, Freek Wiedijk
  - Re: [mizar] Once more: empty types, Freek Wiedijk
    - Re: [mizar] Once more: empty types, Josef Urban
      - Re: [mizar] Once more: empty types, Freek Wiedijk
    - Re: [mizar] Once more: empty types, Piotr Rudnicki
      - Re: [mizar] Once more: empty types, Freek Wiedijk
      - Re: [mizar] Once more: empty types, Josef Urban
      - Re: [mizar] Once more: empty types, Andrzej Trybulec
      - Re: [mizar] Once more: empty types, Freek Wiedijk
      - [mizar] Soft Types, Andrzej Trybulec
      - Re: [mizar] Soft Types, Freek Wiedijk
      - Re: [mizar] Once more: empty types, Piotr Rudnicki
      - Re: [mizar] Once more: empty types, Freek Wiedijk
Re: [mizar] copy/paste detection in MML, Josef Urban

[mizar] calculating the transitive closure of required mizar items for a theorem, Jesse Alama

Re: [mizar] calculating the transitive closure of required mizar items for a theorem, Josef Urban
- [mizar] Re: calculating the transitive closure of required mizar items for a theorem, Jesse Alama
  - Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem, Josef Urban
    - Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem, Jesse Alama
      - Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem, Josef Urban
      - Re: [mizar] Re: calculating the transitive closure of required mizar items for a theorem, Josef Urban

[mizar] Fixed variables, Andrzej Trybulec

[mizar] natural, Andrzej Trybulec

Re: [mizar] natural, Freek Wiedijk
- Re: [mizar] natural, Andrzej Trybulec
  - Re: [mizar] natural, Freek Wiedijk

[mizar] html for 4.92.996, Josef Urban

[mizar] mmlquery for 4.92.996, Jesse Alama

[mizar] Calculemus 2008: First Call for Papers, Freek Wiedijk