Show HN: Sangati, a logical consistency checker for datagithub.com/alienfluid17 pointsxfax9 years ago