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