Automated Propositional Sequent Proofs in the Browser with Tau Prologphilipzucker.com33 pointsphilzook5 years ago