GitHub repository: FR-vdash-bot/Algorithm
Primary language: Lean
Description: Verified efficient algorithms in Lean4.