Time scales and civil time
GPS time
Also: GPS-tijd
GPS time is the internal time scale of GPS, which coincided with UTC on 6 January 1980 but has counted no leap seconds since. GPS time therefore runs ahead of UTC by the number of leap seconds inserted since then (18 since 2017).
The satellites broadcast that difference so a receiver can derive the correct UTC.