Hey, BTW, your combination of Otten's sequent prover with TeX output is awesome! I think you're really on to something there. https://www.philipzucker.com/jav

Hey, BTW, your combination of Otten's sequent prover with TeX output is awesome! I think you're really on to something there. https://www.philipzucker.com/javascript-automated-proving/ https://www.philipzucker.com/javascript-automated-proving/