JamesGallicchio / LeanCollsLinks

WIP collections library for Lean 4
32Updated last month

Alternatives and similar repositories for LeanColls

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

Sorting: