با برنامه Player FM !
Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues
Manage episode 492025490 series 3276616
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 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://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 قسمت
Manage episode 492025490 series 3276616
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 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://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 قسمت
Minden epizód
×به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.