Wolfram Data Repository
Immediate Computable Access to Curated Contributed Data
Search Results
“Small step”
2 items
Sample Audio: Apollo 11 One Small Step
Sample recording of Neil Armstrong's first words from the surface of the moon
Proof of Wolfram's Axiom for Boolean Algebra
Steps in an automated proof of the correctness of Wolfram’s Axiom