Information about gmane.science.mathematics.frogs

• 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.science.mathematics.frogs&type=topics&content=subject,date">

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

Detailed statistics.

Group	gmane.science.mathematics.frogs
Description	This is a mailing list devoted to deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory
Address	Frogs@...
Status	posting allowed
Url	http://www.cs.bath.ac.uk/ag/frogs/

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