类别:书籍：ATS：带定理证明的编程

此类别包含作为ATS：带定理证明的编程书籍一部分的页面。 如果该书的页面未在此处显示，请在相关页面末尾添加文本{{BookCat}}。 您可以查看书籍主页面下的所有子页面列表（不包括书籍主页面本身），无论它们是否已分类，此处。