madnificent/formal-code

Experimental decorator utilities for specifying pre/post conditions and similar design-by-contract tooling.

This repository is not active