Argot

Proofs written in the object language are hard to read. In order to facilitate comprehension one usually translates proofs into an “easier-to-read” language called Argot. In this chapter we explain how this is being done.