Show HN: logidiff – determine if two or more logical statements are equivalent

4 points| nobodywasishere | 10 months ago |blog.eowyn.net