Show HN: logidiff – determine if two or more logical statements are equivalentblog.eowyn.net4 points·nobodywasishere··0 commentsOpen articleSaveView on HN