i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas
I believe you can thank Verso for that:
https://github.com/leanprover/verso
alt Hacker News
I believe you can thank Verso for that:
https://github.com/leanprover/verso