Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues
No se pudo agregar al carrito
Add to Cart failed.
Error al Agregar a Lista de Deseos.
Error al eliminar de la lista de deseos.
Error al añadir a tu biblioteca
Error al seguir el podcast
Error al dejar de seguir el podcast
Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues
-
Narrado por:
-
De:
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