Metamath
This seems very interesting and something which might catch a lot more interest than it probably will if its homepage didn't look so dated and text-heavy.I'm very much in favor of initiatives to make math more accessible to laypeople and this is right in my ballpark, but just reading over the homepage gave me visual fatigue.