Files that are in your ~/.m2 directory are what maven uses to build against, the executable product application built by maven for your execution will be within the source tree - probably in the location Markus recommends here:
> ... I can only point you to the
zip files located in
> org.lamport.tla.toolbox.product.product/target/products/. From there
> you can follow the regular Toolbox documentation.