# Category:Book:ATS: Programming with Theorem-Proving

This category contains pages that are part of the * ATS: Programming with Theorem-Proving* book. If a page of the book isn't showing here, please add text

`{{BookCat}}`

to the end of the page concerned. You can view a list of all subpages under the book main page (not including the book main page itself), regardless of whether they're categorized, here.
## Pages in category "Book:ATS: Programming with Theorem-Proving"

The following 6 pages are in this category, out of 6 total.