Sign inSign up

JamesGallicchio/LeanColls

WIP collections library for Lean 4

LeanStars 32Forks 7Watchers 32Open issues 12License Apache License 2.0
Details
仓库信息
OwnerJamesGallicchio
Homepagehttps://jamesgallicchio.github.io/LeanColls/docs/
GitHubhttps://github.com/JamesGallicchio/LeanColls
Last pushed2025-05-08
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--