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 here. If you're interested in giving me feedback, drop me your two cents at: Also, you can drop me two bitcents at 1Jh5CaWaM3A87nFiKyFAbuWGWicLLRjAa3.