Gmane

Information about gmane.science.mathematics.frogs

The archive for this list can be read the following ways:

Search the list:

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.