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

Elixir em Foco

Вміст надано Elixir em Foco. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Elixir em Foco або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

2M ago 1:21:50

MP3•Головна епізоду

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

64 епізодів

#Tecnologia #Elixir Em Foco