issues
search
JamesGallicchio
/
LeanColls
WIP collections library for Lean 4
https://jamesgallicchio.github.io/LeanColls/docs/
Apache License 2.0
30
stars
7
forks
source link
Add nonempty list
#5
Closed
T-Brick
closed
7 months ago
T-Brick
commented
8 months ago
tbh not sure if ill add more but yeah
tbh not sure if ill add more but yeah