B blog.eowyn.net Show HN: logidiff – determine if two or more logical statements are equivalent 4 points nobodywasishere 1 year ago 0 comments