Regina for 3-Manifolds

This app is for research mathematicians in 3-manifold and 4-manifold topology. Have you encountered