Very cool. The metamath community tends to centralize results, so its equivalent is simply:

https://us.metamath.org/