Demo project for new web site: Compile It! / Prove It! - View it on GitHub