- Monthly visits
- <5K
- Oct 2026
- Public revenue
- Undisclosed
- No public revenue evidence yet
- Entry price
- Free
- No monthly subscription pricing
- Launched
- 13mo ago
- 2025-10-31 · Est.
Traffic
Marketing moves
Launches, search & content, referrals, promotionsLaunched on Show HN (2 pts)Launch
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…
Oct 31, 2025 · 13mo agoLaunch page
Third-party reviews & case dossiers
Acquisition breakdowns, engineer reviews & open-source metricsShow HN
2025-10-31Source
- Post excerpt:
- 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 i
Open Source & Self-Hosting
GitHub · MCP / Skill
- GitHub Stars
- ★ 1
- Forks
- —
- License
- MIT
- Primary language
- Python
Traffic sources
Oct 2026
Traffic breakdown
Channels
No data yet
Countries
No data yet
Search
Domain authority —Domain registered 2018-10-27
| Keyword | Monthly volume |
|---|---|
| taut | 44.8K |
Traffic data: Vaneform
Pricing
Pricing page not identified yet, or no public pricing listed.
Pages & changes
Tracked since 2026-07-31
Key pages
Weekly snapshotsHome
taut-logic.com/ Snapshot 2026-11-04
Changes
No pricing, plan, or positioning changes detected since tracking started.
Questions & evidence
- How much website traffic does TAUT2 get?
- Vaneform estimates <5K website visits in 2026-10. Visits can include repeat visits; this estimate measures web traffic separately from paying customers or revenue.Source
- What is TAUT2 and what platforms does it support?
- TAUT2 is catalogued under AI Tutoring & Homework Help: Welcome to TAUT 2 !. Supported platforms: Web.
- Is TAUT2 open source?
- TAUT2 has a public repository (https://github.com/ariroffe/logics) under the MIT license, recording 1 GitHub stars.Source
Related products in this category
Education / AI Tutoring & Homework Help
These products share a catalog category. Compare customer tasks, features and deployment requirements before treating them as alternatives.
| Product | Entry price | Visits | Revenue |
|---|---|---|---|
| IXLGiantPersonalized learning | — | 39.1M | Undisclosed |
| DesmosGiantBeautiful free math. | — | 31.8M | Undisclosed |
| SymbolabMatureAI Math Calculator | — | 3.1M | Undisclosed |
| MathwayMatureGot a math problem? Get the steps. | — | 2.9M | Undisclosed |
| موقع كتبي التعليميMatureموقع كتبي التعليمي أكبر مكتبة للمناهج الدراسية وحلول الكتب في المملكة. | — | 2.7M | Undisclosed |
| OutschoolMatureBuild the education your kid deserves | — | 2.5M | Undisclosed |