search

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
211 stars 50 forks source link

Fix typos #92

Closed pitmonticone closed 1 year ago

arthurpaulino commented 1 year ago

Thanks!