Closed tabareau closed 6 months ago
separate instances of extends and extends_eprogram and prove missing lemmas on the pipeline (firstorder_value, extends, characterization of lookup_env)
separate instances of extends and extends_eprogram and prove missing lemmas on the pipeline (firstorder_value, extends, characterization of lookup_env)