Subject
| From
| # of followups
|
|---|
| Re: RE[mizar] LPREM,RELINFER and *603,*604,*605
| Andrzej Trybulec
| 0
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Andrzej Trybulec
| 1
|
| [mizar] [Thomas Forster] [FOM] Logic packages
| Jesse Alama
| 0
|
| [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Jesse Alama
| 2
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Freek Wiedijk
| 1
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Jesse Alama
| 2
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Robert M. Solovay
| 1
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Jesse Alama
| 1
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Robert M. Solovay
| 1
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Freek Wiedijk
| 2
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Freek Wiedijk
| 0
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Jesse Alama
| 0
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Josef Urban
| 0
|
| Re: [mizar] theorems of the form "if A then T", where A is known to be independent of TG
| Josef Urban
| 0
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Josef Urban
| 1
|
| Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
| Robert M. Solovay
| 1
|
| [mizar] Sleszynski Prize 2007
| Grzegorz Bancerek
| 1
|
| Re: [mizar] Sleszynski Prize 2007
| Freek Wiedijk
| 1
|
| [mizar] Re: Sleszynski Prize 2007
| Jesse Alama
| 1
|
| Re: [mizar] Re: Sleszynski Prize 2007
| Grzegorz Bancerek
| 1
|
| Re: [mizar] Re: Sleszynski Prize 2007
| Andrzej Trybulec
| 0
|
| [mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC
| Jesse Alama
| 2
|
| Re: [mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC
| Andrzej Trybulec
| 1
|
| Re: [mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC
| Andrzej Trybulec
| 0
|
| Re: [mizar] [Thomas Forster] Re: [FOM] Historical Queries on AC
| Josef Urban
| 0
|
| [mizar] Masters thesis - Case studies in Mizar and Coq
| rk1
| 0
|
| [mizar] CFP - Programming Languages for Mechanized Mathematics Systems 2008
| Makarius
| 0
|