remove redundant section

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

Apache License 2.0

164 stars 92 forks source link

Closed williamdemeo closed 4 months ago

williamdemeo commented 4 months ago

This closes issue #115.

The subsections in question are almost identical, the exceptions being

capitalization of the section headings;
the subsection appearing at the end of the chapter ended many sentences with colons instead of periods.

The present PR favors periods over colons (though a PR mainly concerned with replacing periods with colons was recently merged, unfortunately.)

williamdemeo commented 4 months ago

There is already a PR for this issue, so I'm closing this one.