Some properties about concurrent algorithms and datastructures defined in Lean.
Primary LanguageLean
No one’s star this repository yet.