search

leanprover-community / lean4-metaprogramming-book

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

Update to Lean nightly-2022-07-06 #60

Closed JLimperg closed 2 years ago

JLimperg commented 2 years ago

Name changes in the standard library:

arthurpaulino commented 2 years ago

Thanks!!!