GitHub repository: rust-lang/opsem-team
Created: 2023-02-13T11:23:25Z
Description: Home of the operational semantics team, used primarily for procedural items