[ilsubyeega]

i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas

[md224]

I believe you can thank Verso for that:

https://github.com/leanprover/verso