What are some examples of mathematical conlangs?
I'm curious as to if there are any full existing conlangs that allow you to do arithmetic or mathematical manipulations from a conlang perspective.
The closest that I've found for this is this set of short clips on YouTube, Inventing a Number System. But I'm curious as to if there might be more examples, especially examples that have a mathematical grammar of some sort.
(Note: I do apologize if this post is a bit fuzzy, as the idea is still kind of fuzzy in my mind. This is also my first post to this forum. I can revise the post if needed.)