JamesGallicchio / LeanCollsLinks

WIP collections library for Lean 4
32Updated 3 weeks ago

Alternatives and similar repositories for LeanColls

Users that are interested in LeanColls are comparing it to the libraries listed below

Sorting: