Você conhece Lean, a linguagem criada por um brasileiro para provar teoremas? E que dá para fazer muito mais além disso?? Assista já a palestra da @algebraic.dev, que trabalha na Lean FRO, para entende como! "LEAN Fullstack: Codando no Assistente de Provas"

4 likes 1 replies