# Grants:IdeaLab/Formal Mathematics

Formal Mathematics

Math has a language and a logic of its own. Right now, Wikipedia uses equations and proofs that are meant for human consumption. Putting those into a format with computational meaning will allow verification, better searches, and new uses. It will also make the math more easy to translate to new lagnuages.

created on14:29, Sunday, March 27, 2016 (UTC)

## Project ideaEdit

### 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.

## Project goalsEdit

## Get involvedEdit

### ParticipantsEdit

### EndorsementsEdit

## Expand your ideaEdit

Would a grant from the Wikimedia Foundation help make your idea happen? You can expand this idea into a grant proposal.