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 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://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