6 ms·
Looks like the sagemath UI he mentions is here: https://github.com/tqbf/casette https://github.com/tqbf/casette
by dharmatech 27d ago
Looks like the sagemath UI he mentions is here:
https://github.com/tqbf/casette https://github.com/tqbf/casette