Skip to content

Apply_results.v

Natasha Klaus requested to merge natasha-klaus-verify-apply-results into master

Apply results all Lemmas Qed.

Edited by Natasha Klaus

Merge request reports