I have not looked at any of it, but would think they'd back it up with some form of math proof for at least some modules, and then applying those algorithms is

I have not looked at any of it, but would think they'd back it up with some form of math proof for at least some modules, and then applying those algorithms is just like any other C++ or Python code.