GitHub repository: BinderDavid/haskell-spec
Primary language: Lean
Description: Formal specification of the Haskell Language Report