Thread Index (0801)

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

Re: RE[mizar] LPREM,RELINFER and *603,*604,*605, Andrzej Trybulec

Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis, Andrzej Trybulec

Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis, Freek Wiedijk
- Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis, Jesse Alama
- Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis, Josef Urban
  - Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis, Robert M. Solovay
    - [mizar] Sleszynski Prize 2007, Grzegorz Bancerek
      - Re: [mizar] Sleszynski Prize 2007, Freek Wiedijk
      - [mizar] Re: Sleszynski Prize 2007, Jesse Alama
      - Re: [mizar] Re: Sleszynski Prize 2007, Grzegorz Bancerek
      - Re: [mizar] Re: Sleszynski Prize 2007, Andrzej Trybulec

[mizar] [Thomas Forster] [FOM] Logic packages, Jesse Alama

[mizar] theorems of the form "if A then T", where A is known to be independent of TG, Jesse Alama

Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Freek Wiedijk
- Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Jesse Alama
  - Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Robert M. Solovay
    - Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Jesse Alama
      - Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Robert M. Solovay
      - Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Josef Urban
  - Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Freek Wiedijk
Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG, Josef Urban

[mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC, Jesse Alama

Re: [mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC, Andrzej Trybulec
- Re: [mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC, Josef Urban
Re: [mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC, Andrzej Trybulec

[mizar] Masters thesis - Case studies in Mizar and Coq, rk1

[mizar] CFP - Programming Languages for Mechanized Mathematics Systems 2008, Makarius