3 ms·
I believe you can thank Verso for that: https://github.com/leanprover/verso https://github.com/leanprover/verso
by md224 6mo ago
I believe you can thank Verso for that:
https://github.com/leanprover/verso https://github.com/leanprover/verso
loading thread…