Talk:Proof net

Adding an image?
It seems a bit austere to have an article about a form of mathematical notation without including an example.

The article gives two proofs that, it's claimed, will have identical proof nets. Could an expert on the topic produce the proof net that corresponds to these two proofs? That would improve the article ten-fold at a stroke.

Nathaniel Virgo (talk) 16:36, 16 March 2020 (UTC)