digg

Join DiggAbout

The Digg Crew wants to hear your thoughts!
Please take our short survey about Digg and potential feature ideas.

Metamath - A language formally expressing mathematical statements.

us.metamath.org — Site's main features are the Metamath Proof Explorer, which constructs mathematics starting from ZFC, and the Hilbert Space & Quantum Logic Explorers, which extend ZFC with the physical theory behind Quantum Mechanics. Also includes some supposedly fun things. Very interesting for those who have heard about ATP, AI, AR (not action replay >_>), etc.

show profanity settings
expand all
  •  

    Login or register to add a comment

    Create a new account or login to join in the conversation on Digg. You'll also be able to Digg stories to help promote things you like.


© Digg Inc. 2008 — Content posted by Digg users is dedicated to the public domain.
DIGG, DIGG IT, DUGG, DIGG THIS, Digg graphics, logos, designs, page headers, button icons, scripts, and other service names are the trademarks of Digg Inc.