ParentFull threadthrowaway2562·Jonathon Gorard’s Abstract Proof Networks - in Mathematica - may be of interesthttps://community.wolfram.com/groups/-/m/t/1135271View on HN