Jump to content

Talk:Proof net

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]