Automated Propositional Sequent Proofs in the Browser with Tau Prologphilipzucker.com2 pointslelf5 years ago