Get started with mantis

Authored by:T. Phuong Quan inmantis 1.0.0.9000.
Source:mantis.Rmd, Vignette:mantis.html. Last updated:2025-08-01.