# Category:ATS: Programming with Theorem-Proving

This category contains pages that are part of the ATS: Programming with Theorem-Proving book.

## Books or Pages

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

This category contains pages that are part of the ATS: Programming with Theorem-Proving book.

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