GitHub repository: konnov/leanda
Primary language: Lean
Description: Distributed algorithms in Lean 4