Este episódio é uma republicação de um episódio do podcast Elixir em Foco. Saiba mais sobre o episódio em

https://podcasters.spotify.com/pod/show/elixiremfoco/episodes/32--A-linguagem-Lean--com-Algebraic-Sofia-e-Algebraic-Gabi-e2b8kao

O Emílias Podcast é um projeto de extensão da UTFPR Curitiba. Descubra tudo sobre o programa Emílias - Armação em Bits em ⁠⁠⁠⁠⁠⁠⁠⁠https://linktr.ee/Emilias⁠⁠⁠⁠⁠. #PODCAST #EMILIAS