| Subject | From | # of followups |
|---|---|---|
| [mizar] Fwd: Mizar (Flying Pinto) | Piotr Rudnicki | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] Call for Papers: Fifth Conference Technologies of Knowledge Exploration and Representation | Mariusz Giero | 0 |
| [mizar] abstract deadline for contributed talks: Trusted Extensions of ITPs | Matt Kaufmann | 0 |