Remove unnecessary slide#470

Open

frank-at-adacore wants to merge 1 commit intomasterfrom

slides/188-expressions-quantified-expressions-remove-slide

Commits on Dec 17, 2024

Remove unnecessary slide
frank-at-adacore
committed