TAUT2 – Mathematical logic exercises in the browser

Show HN: TAUT2 – Mathematical logic exercises in the browser

TAUT2 – Mathematical logic exercises in the browser is active in the show hn launch space.

Profile

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

The company sits in the show hn launch segment, where it competes on its core product or service.

It is recorded at the Show HN launch stage.

Website: www.taut-logic.com