It would be nice to implement the algorithm described in https://arxiv.org/abs/2210.15169 for the propagation of differentials in an Adams-type spectral sequence. That would really help the UX for the web interface.
I would like to reopen this issue. I agree that it would be useful to implement the propagation, and that hasn't been done yet. This can serve as a tracking issue
It would be nice to implement the algorithm described in https://arxiv.org/abs/2210.15169 for the propagation of differentials in an Adams-type spectral sequence. That would really help the UX for the web interface.