issues
search
leanprover-community
/
lean4-metaprogramming-book
https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
204
stars
47
forks
source link
fix: correct some typos, following Grammarly (1)
#106
Closed
jcommelin
closed
10 months ago
Julian
commented
1 year ago
(Still lgtm)
(Still lgtm)