SF Lean Meetup: Workshop on Small-Step Semantics in Rocq

Mox Event Space (Mission 13th St) Event source calendar Event Link: see venue calendar above ^^ Today @ClocksSugars will be leading a workshop of Rocq exercises on small step semantics, following Software Foundations Volume 2: softwarefoundations.cis.upenn.edu/plf-current/index.html You're recommended to bring your laptop and install Rocq ahead of the meetup. _________ The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome! Website: sflean.group/ Join our Discord server: Join Discord Server Host: Radoslav Kirov, Adi Baradwaj More info: luma.com/7t7k2l22 location provided by event source: "Mox, 1680 Mission Street, San Francisco" ―――――――――― SF Stuff To Do