Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
33 Went
SF Lean Meetup: Workshop on small-step semantics in Rocq
Registration
Past Event
About Event
Today @ClocksSugars will be leading a workshop of Rocq exercises on small step semantics, following Software Foundations Volume 2: https://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: https://sflean.group/
Join our Discord server: Join Discord Server
Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
33 Went