| Subject | From | # of followups |
|---|---|---|
| [mizar] Index of MML Identifiers (fwd) | Czeslaw Bylinski | 0 |
| [mizar] Requirement articles | Josef Urban | 0 |
| [mizar] Mizar Proof Advisor | Josef Urban | 0 |
| [mizar] Theorem proving example code available (fwd) | Czeslaw Bylinski | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |