"Muito boa a postagem, vale muito a pena ver a palestra promovida pelo IMPA, (instituto de matemática pura e aplicado), eles promoveram uma live sobre isso, que vai muito a pena ver se ainda não viu. PS: não sei se já tenteou fazer algum código em Lean..."1 tabcoin · 0 comentário · erike · 1 hora atrás