talk · community record
In Types We Trust
Proposes formalizing semantic contracts as predicate-logic statements usable in both property-based tests and proofs, demonstrating supporting ScalaTest features.
01
Connections
1 relationship
Proposes formalizing semantic contracts as predicate-logic statements usable in both property-based tests and proofs, demonstrating supporting ScalaTest features.
1 relationship