Show HN: Logic Map – GitHub for Propositional Logic | Hacker News Reader