| Subject | From | # of followups |
|---|---|---|
| rigorous and formal proof | Roman Matuszewski | 1 |
| Re: rigorous and formal proof | Andrzej Trybulec | 1 |
| Note for Mizar Mailing List (fwd) | Andrzej Trybulec | 0 |
| Mizar Syntax | Andrzej Trybulec | 1 |
| Re: rigorous and formal proof | John Harrison | 0 |
| RE: Mizar Syntax | Frode L. Odegard | 0 |
| New Mizar articles | Library Committee | 0 |