| Subject | From | # of followups |
|---|---|---|
| [mizar] the Why project | Andrzej Trybulec | 3 |
| Re: [mizar] the Why project | zalewska | 0 |
| Re: [mizar] the Why project | Piotr Rudnicki | 1 |
| Re: [mizar] the Why project | Andrzej Trybulec | 0 |
| [mizar] pretty Mizar constructor names | Josef Urban | 0 |
| [mizar] Mizar-like proofs | Josef Urban | 1 |
| Re: [mizar] Mizar-like proofs | John Harrison | 1 |
| Re: [mizar] the Why project | Freek Wiedijk | 2 |
| Re: [mizar] the Why project | Josef Urban | 1 |
| Re: [mizar] Mizar-like proofs | Josef Urban | 0 |
| Re: [mizar] the Why project | Freek Wiedijk | 1 |
| Re: [mizar] the Why project | Josef Urban | 1 |
| Re: [mizar] the Why project | Freek Wiedijk | 0 |
| Re: [mizar] the Why project | Andrzej Trybulec | 0 |
| [mizar] Looking for Field of Fractions | Zachary Friggstad | 1 |
| Re: [mizar] Looking for Field of Fractions | Piotr Rudnicki | 1 |
| Re: [mizar] Looking for Field of Fractions | Adam Naumowicz | 0 |
| [mizar] ATP proof objects for Mizar | Josef Urban | 1 |
| Re: [mizar] ATP proof objects for Mizar | Freek Wiedijk | 1 |
| Re: [mizar] ATP proof objects for Mizar | Josef Urban | 0 |