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

Elixir em Foco

A tartalmat a Rede Emílias de Podcasts biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Rede Emílias de Podcasts vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

4M ago 1:21:50

MP3•Epizód kép

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

68 epizódok

#Tecnologia #Elixir Em Foco