mathspp blog

408 443,826 37,138
articles words lines of code

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!