lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

put link to html version of book in README

Open kbuzzard opened this issue 3 years ago • 1 comments
trafficstars

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!

kbuzzard avatar Jul 17 '22 13:07 kbuzzard

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

arthurpaulino avatar Jul 17 '22 13:07 arthurpaulino

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

Seasawher avatar Nov 25 '23 16:11 Seasawher