GitHub repository: weakmemory/pwt
Primary language: Coq
Description: A supplementary Coq formalization for "The Leaky Semicolon" paper