... until the collector arrives ...

This "blog" is really just a scratchpad of mine. There is not much of general interest here. Most of the content is scribbled down "live" as I discover things I want to remember. I rarely go back to correct mistakes in older entries. You have been warned :)

2009-02-10

Metamath

Metamath is a kind of contemporary version of Whitehead and Russell's Principia Mathematica.

Blog Archive