8 ms·
i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas
by ilsubyeega 5mo ago
i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas
- md224 5mo agoI believe you can thank Verso for that: https://github.com/leanprover/verso https://github.com/leanprover/verso