lean-cats This is the Lean repository for parsing the file.cat (see the Herding Cats) to analyze the relaxed memory model.