Zulip Chat Archive
Stream: Is there code for X?
Topic: Small-step operational semantics
Notification Bot (Nov 21 2023 at 18:05):
This topic was moved to #Program verification > Small-step operational semantics by Mario Carneiro.
Last updated: May 02 2025 at 03:31 UTC