Testing for agreement between Lean and Z3 semantics - #11

Testing for agreement between Lean and Z3 semantics#11

simonspies wants to merge 3 commits into

mainsimonspies/mica:mainfrom

semantic-testingsimonspies/mica:semantic-testingCopy head branch name to clipboard