Ah thanks! And yea, naming things has never been a strength for me. I’ll have to come up with something more memorable once it’s ready for an alpha release :)

AniMath?

Thanks for the recommendation! I’ll have to workshop it a bit more, when I see this I almost read AntiMath which would be an unintended mistake haha.