This is a terrible choice of name for something with no relation to maps.
I think it's too-clever-by-half... In category theory, most of the arrows connecting the dots are functions, which are often called 'maps' by the mathematicians using them.
Could have gotten diagrapher.com
Still available...
Nope, not using something called "cartographer" that includes a map that doesn't even have New Zealand on it
They use the map emoji (️), the display is implementation dependent. New Zealand appears for me on my Mac, though I have to zoom a lot to see it.
Yes "Maps without NZ" is a thing, and why I originally posted
This is actually a really good go at augmented reasoning. The tool doesn’t do any theorem prover, it just keeps track of your rewrite rules and allows you to apply them on explicit command. Are there any other tools that work like this?
This is sufficient for theorem-proving work. Compare and contrast Metamath, which also requires users to define their own syntax and rewrite rules, and cannot do proof search. Nonetheless, this minimal functionality is enough.
To me, theorem proving is automated reasoning, whereas here the system focuses on making human directed reasoning more efficient. The line is a fine one, I guess.