Archive - Sep 30, 2008

Date
  • All
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30

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.

Honey Pot that kill bots