2 ms·Why the 'but'? There seems to be quite some type theory involved in Sage.by sfvisser 13y agoWhy the 'but'? There seems to be quite some type theory involved in Sage.