Contract Analysis Sneak Preview

Try a sneak preview of a couple modules from Praktio's upcoming Contract Analysis course: