Show HN: Samosa – Linter for Math Derivationssamosa-math.vercel.app
13 points by Hussain04 4 days ago | 1 comment