3 ms·Proper link: https://leanprover.github.io/about/ https://leanprover.github.io/about/by voytec 4y agoProper link: https://leanprover.github.io/about/ https://leanprover.github.io/about/