Verum Axiom 2.20.0-dev.3 is installed in /Library/VerumAxiom.

Try it in a terminal: ide --version or dzn --version

In the Verum Axiom VS Code extension, set the tool path to /Library/VerumAxiom if it is not detected automatically.

To uninstall:
sudo rm -rf /Library/VerumAxiom /usr/local/bin/ide /usr/local/bin/dzn
sudo pkgutil --forget com.verum.axiom