March 31, 2013
Today I'm releasing draft versions
of a few documents. Most of these documents
are presentations of formalized mathematics.
They can be found by starting
If you're interested in giving me feedback,
drop me your two cents at:
Also, you can drop me two bitcents