Frogs

This forum is an archive for the mailing list: frogs@... (mailing list options). Messages posted here will be sent to this mailing list.

This is a mailing list devoted to deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory.