# Category:ATS: Programming with Theorem-Proving

From Wikibooks, open books for an open world

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.