LogicGem proves logic and processes by finding missing rules, ambiguities, contradictions and redundancies. They?re displayed visually and include are tools to automatically correct errors.
