adamc@39: adamc@39: Certified Programming with Dependent Types adamc@39: adamc@39: adamc@39:

Certified Programming with Dependent Types

adamc@39: adamc@39:
  • Introduction adamc@39:
  • Some Quick Examples adamc@39:
  • Inductive Types adamc@39: adamc@39: