> mathematician make errors. I want something that can be checked formally.

So you mean math?