JamesGallicchio / LeanColls

WIP collections library for Lean 4
32Updated 2 weeks ago

Alternatives and similar repositories for LeanColls:

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