Hacker News new | ask | show | jobs
Show HN: logidiff – determine if two or more logical statements are equivalent (blog.eowyn.net)
4 points by nobodywasishere 425 days ago