2 ms·

This is a great post, and full of inspiring ideas for what kind of work flows and features a modern theorem proving system could support.