Show HN: Samosa – Linter for Math Derivations
Summary
Show HN: Samosa introduces Samosa, a linter for mathematical derivations, aimed at improving rigor and catching errors in derivations. The project is hosted on Vercel and featured on Hacker News, signaling strong community interest in tooling for math validation and documentation. It positions itself as a practical aid for researchers, educators, and developers who work with formal proofs and derivations.