3 ms·
It works for a lot of people, I'm just looking for something else, exercise-based computer-checked proofs to teach mathematics, something like that. Want it bad
by haskellandchill 8y ago
It works for a lot of people, I'm just looking for something else, exercise-based computer-checked proofs to teach mathematics, something like that. Want it bad.