GitHub repository: mirkootter/lean-mt
Primary language: Lean
Description: Lean4-Framework to reason about multithreaded algorithms