First time here? Check out the FAQ!
answered 2022-03-09 14:54:22 +0100
Upgrading Sage to use Plantri 5.2 is the object of
which will hopefully be merged in Sage 9.6.