Tuesday, April 28, 2009

We can go home now

I wonder if the same robots will discover metamath?

No comments: