Introduction

What Is The Contracts Library?

Ganbaro Digital's Contracts Library provides support for programming by contract to help you prove the correctness of your own code.

Goals

The Contracts Library's purpose is to collect correctness tools and approaches:

Design Constraints

The library's design is guided by the following constraint(s):

Questions?

This package was created by Stuart Herbert for Ganbaro Digital Ltd. Follow @ganbarodigital or @stuherbert for updates.