The biggest value of Peano is as an environment for agents to find proofs automatically, which is done using the Python API. However, even for that use, you still interact a little bit with the ...