Hacker News new | ask | show | jobs
by throwaway2562 1008 days ago
Jonathon Gorard’s Abstract Proof Networks - in Mathematica - may be of interest

https://community.wolfram.com/groups/-/m/t/1135271