Invariant-based programming

ID: invariant-based-programming

New to topics? Read the docs here!