Full threaddharmatech·Looks like the sagemath UI he mentions is here:https://github.com/tqbf/casetteView on HN