t-brick / leancolls Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jamesgallicchio/leancolls
WIP collections library for Lean 4
Home Page: https://jamesgallicchio.github.io/LeanColls/docs/
License: GNU General Public License v3.0