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.


Bookmark/Search this post with:
  • Delicious
  • Digg
  • Reddit
  • Magnoliacom
  • Newsvine
  • Furl
  • Google
  • Yahoo
  • Technorati
  • Icerocket

another attempt

slawekk's picture
On Oct/31/2008 17:13:53 slawekk (not verified) says:

Another project to add to the list:

Wiki for formalized mathematics based on ProofWeb

Based on COQ theorem prover. Drawbacks: exotic foundations, proofs not readable.

There is so many stuff like

Mgccl's picture
On Oct/31/2008 20:14:28 Mgccl says:

There is so many stuff like this, but non of them made really big.

Post new comment

The content of this field is kept private and will not be shown publicly.
If you have a Gravatar account, used to display your avatar.
  • Allowed HTML tags: <img> <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd> <span> <fn>
  • Lines and paragraphs break automatically.
  • Textual smileys will be replaced with graphical ones.
  • You can enable syntax highlighting of source code with the following tags: <code>, <blockcode>. Beside the tag style "<foo>" it is also possible to use "[foo]".
  • Use [fn]...[/fn] (or <fn>...</fn>) to insert automatically numbered footnotes.

More information about formatting options

What is 4 + 8?
To combat spam, please solve the math question above.
Honey Pot that kill bots