proof net

ウィキペディアから