Deepen formula semantic invariant properties (#112)#145

leynos wants to merge 2 commits into

mainleynos/weaver:mainfrom

issue-112-property-tests-for-formula-semantic-invariantsleynos/weaver:issue-112-property-tests-for-formula-semantic-invariantsCopy head branch name to clipboard