What is the problem you're trying to solve?
Math has a structure that is not currently being captured by Wikipedia.
What is your solution?
Come up with a format for recording computations and proofs in a formal context. Add services to check that the math shown is correct.
- j ai trouvé mathématique comme logique informatique Papykabi (talk) 19:12, 6 June 2016 (UTC)
- As a mathematician and programmer, it is clear such problems in Wikipedia. Webysther (talk) 21:31, 23 June 2016 (UTC)
Expand your idea
Would a grant from the Wikimedia Foundation help make your idea happen? You can expand this idea into a grant proposal.