Show HN: TAUT2 – Mathematical logic exercises in the browser

Hi HN,

This is something I originally built for my students when I was teaching logic at the University of Buenos Aires (I have now moved to philosophy of science).

I had planned to add some commercial features like paid courses — and even developed a good part of it — but I got caught up in other projects (plus, it didn’t seem particularly profitable), so it’s been sitting idle for a few years.

I figured I'd finally share it to see what reaction I get, if any, and whether there's any interest in me adding that kind of functionality.

PS. TAUT is based on my open-source logics library (https://github.com/ariroffe/logics), which runs in the browser via Pyodide. The site is currently hosted on a $5 VPS, so hopefully it won’t get hugged to death.