chore: add tags to all sections that are probably permanent#231

david-christiansen merged 1 commit into

masterleanprover/fp-lean:masterfrom

section-tagsleanprover/fp-lean:section-tagsCopy head branch name to clipboard