

![0_image_0.png](0_image_0.png)

online fora (e-mail discussions, blog and twitter posts, wikis, etc.) with direct rendering of the results. In short, the third advantage is that a web service provides mechanism for online communication of verification results.

The fourth (and probably greatest) advantage of server-based verification is the raw verification speed. A dedicated server usually runs on reasonably new hardware with enough memory, etc. For example, even for the relatively short card 1 Mizar article mentioned above, full verification on a recent notebook