類別:書籍：ATS：帶定理證明的程式設計

此類別包含作為ATS：帶定理證明的程式設計書籍一部分的頁面。 如果該書的頁面未在此處顯示，請在相關頁面末尾新增文字{{BookCat}}。 您可以檢視書籍主頁面下的所有子頁面列表（不包括書籍主頁面本身），無論它們是否已分類，此處。