Show HN: logidiff – determine if two or more logical statements are equivalent(blog.eowyn.net)4 points by nobodywasishere 1 year ago | 0 commentsNo comments yet