GitHub repository: leanprover/std4
Primary language: Lean
Created: 2022-08-28T15:23:46Z
Description: Standard Library for Lean 4