Proof EXTENDED_VERBS #580 - Pages 273-283 #945

Open

MattFromRVA wants to merge 1 commit intochrislgarry:masterfrom

MattFromRVA:Proof-EXTENDED_VERBS/Pages_273-283

Commits on Aug 12, 2025

273-283 proof

Matt Chaulklin
authored and
Matt Chaulklin
committed