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!
If you like this project, please take the time to give me your feedback! Click the @ below to send me an email.