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.

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.prooftheory.org/frogs

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