Programming, Mathematics, Learning, Learning To Code, Discrete Mathematics.
proof-writing? I found a ton of small proof-checkers for formal logic online. I used some of these and they were actually helpful in the beginning, but the scope of these web apps was too limited to tackle an entire discrete math course. After many days of desperately searching, about to give up, I