Talk:Proof net

Latest comment: 4 years ago by Nathanielvirgo in topic Adding an image?

Adding an image?

edit

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)Reply