| Subject | From | # of followups |
|---|---|---|
| [mizar] PhD Position in Automated Reasoning Using Machine Learning (vacancy number 62.58.10) | Josef Urban | 0 |
| [mizar] Studying Mizar | Boris Schminke | 2 |
| Re: [mizar] Studying Mizar | Adam Naumowicz | 1 |
| RE: [mizar] Studying Mizar | James Smith | 1 |
| Re: [mizar] Studying Mizar | Boris Schminke | 1 |
| Re: [mizar] Studying Mizar | Boris Schminke | 0 |
| RE: [mizar] Studying Mizar | James Smith | 0 |
| [mizar] Rules for usage of a colon before the label | Boris Schminke | 1 |
| Re: [mizar] Rules for usage of a colon before the label | Adam Naumowicz | 0 |
| [mizar] Mizar Proof Advisor | Boris Schminke | 1 |
| Re: [mizar] Mizar Proof Advisor | Josef Urban | 0 |