Nah, I've attempted some real math with a tutor, I'm quite bad at math and proofs :)
No skill or background needed with such things for Haskell.