Add ProofWiki

This commit is contained in:
Fabian Heredia Montiel 2017-02-10 19:52:31 -06:00 committed by GitHub
parent 7da87ae466
commit f78cd1faa8

View File

@ -70,8 +70,9 @@ A curated list of awesome mathematics resources.
## Encyclopedia ## Encyclopedia
* [Encyclopedia of Mathematics](https://www.encyclopediaofmath.org) * [Encyclopedia of Mathematics](https://www.encyclopediaofmath.org)
* [Wolfram Mathworld](http://mathworld.wolfram.com/)
* [Planetmath](http://planetmath.org/) * [Planetmath](http://planetmath.org/)
* [ProofWiki](https://proofwiki.org/wiki/Main_Page)
* [Wolfram Mathworld](http://mathworld.wolfram.com/)
## Books ## Books