André L F S Bacci

These math problems/calculations can be formalized into automatic math proof checkers? It's seem like this students lacks specific formal details of these problems. Paper accepts anything, but a math proof checker will not.

Sorry, you already lost her. Your management makes it very clear that any good work will be punished with an ever increasing amount of bad workload. Help where you can and that is it. (hint: already lost her and some, by the way).