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

Elixir em Foco

Inhalt bereitgestellt von Elixir em Foco. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Elixir em Foco oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

2M ago 1:21:50

MP3•Episode-Home

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

65 Episoden

#Tecnologia #Elixir Em Foco