Projects with this topic
Sort by:
-
Mirror of http://www.cip.ifi.lmu.de/~grinberg/ (mathematics website with papers, lecture notes etc.)
Updated -
Step-level algebra autograder (Python/SymPy) → teacher Excel. Built for K–12 classrooms.
Math teachers save hours grading without losing insight. Carriage: Piloting Fall 2026
Updated -
Learn abstract math with agda
🚀 Updated -
My University Assignments etc
Updated