Samosa - 수학 유도 과정을 검사하는 린터

Show HN: Samosa – Linter for Math Derivations

Samosa는 수학 증명과 유도 과정의 오류를 잡아주는 린터입니다. 코드에서 문법 오류를 찾아주는 린터처럼, 수학 풀이의 각 단계가 논리적으로 타당한지 검사해 어디서 계산 실수나 비약이 생겼는지 짚어줍니다. 손으로 푼 문제를 검토하거나 학습 자료를 만들 때, 또는 수학을 가르치는 과정에서 신뢰도를 높이는 데 유용합니다. 웹에서 바로 체험할 수 있어 수학을 다루는 학생과 연구자, 교육자 모두 부담 없이 시험해볼 수 있습니다.