RT @Jose_A_Alonso: Vela: Uma implementação verificada do HOL Light. ~ Oskar Abrahamsson e outrolink.springer.com/article/10.100…6KJ #ITP #HOL4 #HOL_Light
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.