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.

Last modified on 9 December 2010, at 13:40
# Category:ATS: Programming with Theorem-Proving

## Books or Pages

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.