GitHub repository: weakmemory/weakestmoToImm
Primary language: Coq
Description: The Weakestmo memory model and the compilation correctness proof to IMM