Samosa - Linter para derivaciones matemáticas

Show HN: Samosa – Linter for Math Derivations

Samosa es una herramienta de análisis estático que revisa tus derivaciones matemáticas paso a paso, detectando errores lógicos y saltos injustificados. Funciona como un linter para código, pero aplicado a pruebas y cálculos: señala dónde una igualdad no se sigue de la anterior o falta una justificación. Ideal para estudiantes, docentes e investigadores que quieren validar sus desarrollos antes de publicarlos. Puedes probarlo en su versión web y mejorar la precisión de tus demostraciones.