A shared language for better software
Say what should happen.
Find out what does.
Turn examples and open questions into precise behavior. Learn to read the evidence before deciding what to trust.
Try a small contract
A good example invites a counterexample.
Edit a LawSpec definition and law, then check them in your browser. These examples use finite reference checking, without a native application or external solver.
The compiler loads when you run an example.