GitHub repository: weakmemory/fairness
Primary language: Coq
Description: This repository contains the supplementary Coq development for the Making Weak Memory Models Fair paper.