Brendan Zabarauskas on Twitter: "@TaliaRinger Where do things like Metamath fit in?" / Twitter

ITP friends! Excluding special-purpose UIs, does this history of UIs look about right? Anything stand out as missing or incorrect?

11

4

15

Replying to

Where do things like Metamath fit in?

Conversation