Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues
Failed to add items
Add to basket failed.
Add to Wish List failed.
Remove from Wish List failed.
Follow podcast failed
Unfollow podcast failed
Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues
-
Narrated by:
-
By:
About this listen
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