Show HN: Samosa – Linter for Math Derivations
13 points by Hussain04
Samosa is a linter designed to audit mathematical derivations, specifically focusing on matrix algebra, stochastics, and algebra. It provides counterexamples to highlight errors rather than relying on subjective judgments.