Show HN: logidiff – determine if two or more logical statements are equivalent #1 Post by nobodywasishere » Wed, Apr 16, 2025, 8:59 PM UTC Show HN: logidiff – determine if two or more logical statements are equivalentblog.eowyn.net