Reference

This chapter contains¹ a detailed specification of the proof language constructs. For the concrete file formats, see the S-expr format and Binary format chapters.