Chad E Brown
is for PRISMers
Satallax is a higher-order
automated theorem prover.
Satallax won the THF division
of CASC-23 in 2011.
Automated Reasoning in Higher Order Logic
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 using bitmessage
Due to the Snowden revelations, I no longer use email.
Also, you can drop me two bitcents