opsem-team

★ 20 updated 4d ago

Home of the operational semantics team, used primarily for procedural items

No plain-English explanation yet — one is being written right now. Check back in a minute.