Show HN: TrueMath Innovator – Free Windows app for math visualization
Category: other
Tags: math, sympy, lean4, desktop-app, ai
Score: 4.5/10 (Innovation: 4, Technical: 5, Documentation: 5, Utility: 4)
TrueMath Innovator is a Windows desktop app that combines exact math computation via SymPy and Lean 4 with AI-powered answers, photo solving, and conjecture testing. It targets students and math enthusiasts, offering features like OEIS lookup and arXiv paper browsing in a single packaged app.
Target audience: students and math enthusiasts
Repository: https://apps.microsoft.com/detail/9mzwjwgsw657?hl=en-US&gl=US · 1 stars
View on Hacker News