Post #379 184 Jul 29, 2025, 18:08 UTC https://www.youtube.com/watch?v=CkbXwuMXqJ0We have started :D YouTube Formal Verification in Web3: Ensuring Security and Correctness for Critical Systems Join our Brown Bag Session: Formal Verification in Web3! Discover how top experts ensure security and correctness in critical blockchain systems. 🗓 29 July | 20:00 CET | Online Facilitated by our community founder Sasha Pitkevich. Don’t miss insights from… 👍 2 🙏 1