search

leanprover-community / lean4-metaprogramming-book

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

put link to html version of book in README #64

Closed kbuzzard closed 7 months ago

kbuzzard commented 2 years ago

I know I'm an idiot who can't use the internet, but search for me stubbornly refuses to give me the URL of the web-based version of this book. I'm always being linked to the github. Can you please put a link in the README of the repo to the web URL? I would do it myself but I can't find it :-( Even just a link like they do with mathlib (in "About in top right of the github main page) would be great!

arthurpaulino commented 2 years ago

We don't have a html link yet. I'll talk to the core devs about hosting the book like they do with the other Lean 4 books

Seasawher commented 9 months ago

What is the current status of this matter? I hope that a web version will be made available.