# 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.

## Wikibooks

^{®}- Mobile
- Desktop

- Content is available under CC BY-SA 3.0 unless otherwise noted.