Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@AlexByard, if you come over to leanprover.zulipchat.com and post a message, we can help you work out what "it" and "everything" are, and how to make them not broken. :-)