GitHub repository: JamesGallicchio/LeanColls
Primary language: Lean
Created: 2022-02-15T20:32:04Z
Description: WIP collections library for Lean 4