What is the problem you're trying to solve?Edit
Math has a structure that is not currently being captured by Wikipedia.
What is your solution?Edit
Come up with a format for recording computations and proofs in a formal context. Add services to check that the math shown is correct.
Expand your ideaEdit
Would a grant from the Wikimedia Foundation help make your idea happen? You can expand this idea into a grant proposal.