An interactive block-based editor for Operational Semantics in Logical Form. Try it out by loading example blocks or creating your own custom blocks.
// No code generated yet. Add blocks to the workspace.
// No workspace state yet.