Terminology

This page provides a summary of terminology used in the Conjecture framework.

[wmh: Additions and clarifications are always needed - please help by editing this page where useful!]


Generated on Mon Jun 12 20:27:16 2006 for Conjecture by  doxygen 1.4.6