Comment on A pilot project in universal algebra to explore new ways to collaborateComments−practal1yThis is a great post, and full of inspiring ideas for what kind of work flows and features a modern theorem proving system could support.
Comments
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.