Show HN: Samosa – Linter for Math Derivations(samosa-math.vercel.app)
13 points by Hussain04 | 1 comments
Landing page for SAMOSA, an open-source tool that checks matrix-math derivation steps by evaluating them over finite fields and reporting counterexamples and fixes.