GitHub repository: opencompl/std4
Primary language: Lean
Description: Standard Library for Lean 4