Guarantees
Guarantees now live under Proofs
The current page is Proofs. It separates the type-system failures Chelis refuses from the property-layer checks that compare an implementation with its specification.
Guarantees
The current page is Proofs. It separates the type-system failures Chelis refuses from the property-layer checks that compare an implementation with its specification.