GitHub repository: lindy-labs/wadray_verification
Primary language: Lean
Description: Verification of the Wadray library