Information about gmane.comp.mathematics.mizar

• On the web, using frames and threads.
• On the web, using a blog-like, flat interface.
• Using an NNTP newsreader.
• RSS feeds:
  1. All messages from the list, with excerpted texts.
  2. Topics from the list, with excerpted texts.
  3. All messages from the list, with complete texts.
  4. Topics from the list, with complete texts.

Link to embed recent activity into your web page:

<iframe src="http://blog.gmane.org/recent.php?group=gmane.comp.mathematics.mizar&type=topics&content=subject,date">

See this link for an overview of the available style parameters.

Detailed statistics.

Group	gmane.comp.mathematics.mizar
Description	The Mizar program for verifying the correctness of mathematical proofs, and its library of verified proofs
Address	mizar-forum@...
Status	posting allowed
Url	http://mizar.uwb.edu.pl/forum/

If the information about the list is wrong, you can edit this information.