Abstract We study the behavior of Lipschitz functions on intrinsic $C^1$ submanifolds Heisenberg groups: our main result is their almost everywhere tangential Pansu differentiability. also provide two applications: a Lusin-type approximation ${\mathbb {H}}$-rectifiable sets and coarea formula that completes program started in [18].