GitHub repository: Beneficial-AI-Foundation/NumpySpec
Primary language: Lean
Description: numpy -> lean 4 through ai