can you make the introductory version of Lean4, i cant find one.

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/

Apache License 2.0

211 stars 50 forks source link

can you make the introductory version of Lean4, i cant find one. #54

Closed rizkidotme closed 2 years ago

rizkidotme commented 2 years ago

hi there i believe we will note survive climate change, mathematics is the pinnacle of human ingenuity. i am from indonesia. i think i can help popularize Lean Therorem Prover 4 in indonesia.

arthurpaulino commented 2 years ago

@mrizklh I didn't understand it. What do you mean? This is not an introductory book for Lean 4

arthurpaulino commented 2 years ago

I'll close this for now. Let me know if you need more help.