[haskellandchill]

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.