Chad E Brown
Satallax is a higher-order
automated theorem prover.
Satallax won the THF division
of CASC-23 in 2011.
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