3 ms·
This is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms https://github.com/cwi-swat/aterms
by profquail 8y ago
This is an interesting idea, but I don’t see what’s different about it compared to ATerms:
https://github.com/cwi-swat/aterms https://github.com/cwi-swat/aterms