Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker.

Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen

Browse the full CADE paper archive.