The Socratic Compiler: Transitioning the role of the educator. Instead of grading subjective paperwork, the platform utilizes Lean's kernel to immediately return logical gaps to the student as precise ...