GOV.BR já oferece 4 mil serviços públicos digitais para o cidadão