Skip to content

better spec for abstract_env_lookup_correct#820

Merged
tabareau merged 1 commit intocoq-8.16from better-spec-for-abstract_env_lookup_correctDec 16, 2022
+90-65

Commits