| Subject | From | # of followups |
|---|---|---|
| [mizar] Quaternions in MML | Boris Schminke | 0 |
| [mizar] Alcor and Mizone | Boris Schminke | 1 |
| Re: [mizar] Alcor and Mizone | Josef Urban | 0 |
| [mizar] formal math propaganda | Josef Urban | 0 |
| [mizar] Repetition of an attribute | Boris Schminke | 1 |
| Re: [mizar] Repetition of an attribute | Adam Grabowski | 0 |