Skip to content

Adapt the various "Let" ended with Qed#82

Merged
proux01 merged 1 commit intocoq-community:masterfrom herbelin:master+adapt-17205-qed-on-let-deprecatedOct 30, 2023
+131-72

Commits

Commits on Oct 29, 2023