Check pattern conformance in all MLcase branches (#6)#11

cedretaber merged 2 commits into

java_extractionproof-ninja/rocq:java_extractionfrom

feat/java-case-exhaustivenessproof-ninja/rocq:feat/java-case-exhaustivenessCopy head branch name to clipboard