JamesGallicchio / LeanColls

WIP collections library for Lean 4
32Updated last week

Alternatives and similar repositories for LeanColls:

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