Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues

Notas do episódio

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/LaN6XzyCqao No Creators: https://creators.spotify.com/pod/show/elixiremfoco/episodes/32--A-linguagem-Lean--com-Algebraic-Sofia-e-Algebraic-Gabi-e2b8kao/a-a9i7agg No Spotify: https://open.spotify.com/episode/7ul2BgLy23cM5dQPMMcsoq Alguns 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