BetterFitchVizier

Improved web interface for my formal logic courses proof validator