Formalize

Contribute to vdash

Posted September 30th, 2008 by Mgccl
in

Contribute to vdash!
What is vdash?
To put it simply.
A wikipedia mathematical portal with only true statements.
Love Cameron Freer who come up with the idea. Which I thought about too, but have to little resource to do something like that.


It will be an aggregation of mathematical proof and knowledge by formalizing math. YEAH.

Failed attempt:
QED Project
Nice attempt but too small and only for professionals:
Mizar System
Good attempt but too little people can contribute:
Metamath Proof Explorer

I have high hope on this and I will do my best to support it.
I hope it can also have APIs and stuff. I wonder how it create a database of proofs if it's a wiki.

Syndicate content
Honey Pot that kill bots