Example clarity project to demonstrate features of the check-checker. - View it on GitHub