4 ms·
Jonathon Gorard’s Abstract Proof Networks - in Mathematica - may be of interest https://community.wolfram.com/groups/-/m/t/1135271 https://community.wolfram.co
by throwaway2562 3y ago
Jonathon Gorard’s Abstract Proof Networks - in Mathematica - may be of interest
https://community.wolfram.com/groups/-/m/t/1135271 https://community.wolfram.com/groups/-/m/t/1135271