Automated Propositional Sequent Proofs in the Browser with Tau Prologphilipzucker.com2 points·lelf··0 commentsOpen articleSaveView on HN