Esta foi uma palestra do Esquenta SE4FP, um evento de divulgação do 1st Workshop on Software Engineering for Functional Programming https://se4fp.github.io/2025/. Nesta palestra tivemos a Sofia Rodrigues, que já esteve conosco, junto com Algebraic Gabi, no episódio sobre Lean:No YouTube: https://youtu.be/LaN6XzyCqaoNo Creators: https://creators.spotify.com/pod/show/elixiremfoco/episodes/32--A-linguagem-Lean--com-Algebraic-Sofia-e-Algebraic-Gabi-e2b8kao/a-a9i7aggNo Spotify: https://open.spotify.com/episode/7ul2BgLy23cM5dQPMMcsoqAlguns links mencionados:https://lean-lang.org/theorem_proving_in_lean4/ https://lean-lang.org/functional_programming_in_lean/ https://t.me/leanlangbr https://softwarefoundations.cis.upenn.edu/ https://www.paultaylor.eu/stable/prot.pdf Quer participar das próximas palestras ao vivo? Inscreva-sem em https://forms.gle/RFZn3gTF6g6DQSdSA

Ver todos los episodios