As the project became more visible, professional mathematicians increasingly joined the community and asked to formalize mathematics in their own fields.

“And, uh, and then it sort of, you know, it went on from there. Then, of course, once, you know, once we have some visibility, more and more people start coming into the community, professional mathematicians saying, "Well, can we actually do some stuff in my area here?"”