Comment Comment by md224 I believe you can thank Verso for that:https://github.com/leanprover/verso parent md224 6 months ago
https://github.com/leanprover/verso