feat(Governance): Add new area maintainers for algorithms and logic#610

fmontesi wants to merge 4 commits into

mainleanprover/cslib:mainfrom

fmontesi/governanceleanprover/cslib:fmontesi/governanceCopy head branch name to clipboard