| Subject | From | # of followups |
|---|---|---|
| axioms and requirements | Josef Urban | 1 |
| Re: axioms and requirements | Freek Wiedijk | 1 |
| Re: axioms and requirements | Josef Urban | 0 |
| CfP: Mechanized Mathematics and Its Applications (fwd) | Adam Naumowicz | 0 |
| New Mizar articles | Library Committee | 0 |
| New Mizar articles | Library Committee | 0 |