This post gives the source code for a small Haskell program that finds if a formula is a tautology.
Progress is great and new things are always exciting... but that doesn't mean old things don't have any value!
I know a proof that there's irrational numbers that one to the power of the other give a rational number and this footer is almost the right size for it.