issues
search
leanprover-community
/
lean4-samples
Code samples for Lean 4
Apache License 2.0
67
stars
22
forks
source link
chore: add ListComprehension to CI
#25
Closed
semorrison
closed
9 months ago