What is Martian lava tube?

Martian lava tubes are volcanic caverns on Mars that are believed to form as a result of fast-moving, basaltic lava flows associated with shield volcanism. Lava tubes usually form when the external surface of the lava channels cools more quickly and forms a hardened crust over subsurface lava flows. The flow eventually ceases and drains out of the tube, leaving a conduit-shaped void space which is usually several meters below the surface. Lava tubes are typically associated with extremely fluid pahoehoe lava. Gravity on mars is about 38% that of Earth's, allowing Martian lava tubes to be much larger in comparison.