InvariantsCore (julia): Julia package for creating composable invariants with helpful error messages
Keywords: julia