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: Dec 20 2023 at 11:08 UTC