Qeditas : A Formal Library as a Bitcoin Spin-Off Bill White

@inproceedings{White2015QeditasA,
  title={Qeditas : A Formal Library as a Bitcoin Spin-Off Bill White},
  author={Bill C. White},
  year={2015}
}
Formalization of mathematical theories is a time consuming process for which there is currently little reward. We describe how block chain technology can be used to support the formalization of mathematics by encouraging and rewarding useful work while discouraging repeating the work of others. The block chain will contain a record of definitions made and… CONTINUE READING