3 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 6mo ago
i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas
- md224 6mo agoI believe you can thank Verso for that: https://github.com/leanprover/verso https://github.com/leanprover/verso