SOURCE RECORD · github
C++/Wolfram Language package for exploring set and graph rewriting systems
Open canonical source ↗
Research paper status → · Book status →