[DaRT](https://ringtheory.herokuapp.com/) is a like-minded project in ring theory; we should connect with it. Perhaps we should also link to https://mathdb.mathhub.info/ more generally as well.
DaRT is a like-minded project in ring theory; we should connect with it.
Perhaps we should also link to https://mathdb.mathhub.info/ more generally as well.