SE4FP Workshop @se4fp.github.io · Jun 19 🔥 We're excited to launch Esquenta SE4FP 2025! A series of free online talks (in 🇧🇷Portuguese or 🇬🇧English) on topics related to Software Engineering for Functional Programming, leading up to the in-person SE4FP workshop at #CBSoft2025. 🧵👇
2 likes 1 replies
?
Replies
🎯 The first session is already scheduled! 📣 Sofia Rodrigues (Research Software Engineer at Lean FRO) 🗓️ June 25, 4PM (GMT-3) 💻 Topic: An introduction to the Lean programming language 🔗 lean-lang.org