| Subject | From | # of followups |
|---|---|---|
| Mizar, Mathematica, Automated Provers - and ILF | Bernd Ingo Dahn | 0 |
| Mizar, Mathematica, Automated Provers - and ILF (fwd) | Czeslaw Bylinski | 0 |
| Problems with Mizar system | Vedasystem | 1 |
| Re: Problems with Mizar system | Andrzej Trybulec | 0 |
| Re: Problems with Mizar system | Roman Matuszewski | 0 |
| Re: Problems with Mizar system | Vedasystem | 0 |
| Problems with Mizar have been resolved | Vedasystem | 2 |
| Re: Problems with Mizar have been resolved | piotr | 0 |
| Re: Problems with Mizar have been resolved | Grzegorz Bancerek | 0 |
| Re: Problems with Mizar have been resolved | Vedasystem | 0 |
| Re: Problems with Mizar have been resolved | Vedasystem | 0 |