Hello Sir...
I am a computer science tutor, I teach (among others) Haskell and Algorithms, so functional programming and algebra are my things..
I have done many projects like this, and I'm very comfortable with maths and proofs.
Please contact me for more details when possible.
I look forward to work for you Sir.
Best Regards.