Add DDM grammar productivity checker with correctness proofs#1156

julesmt wants to merge 1 commit into

mainstrata-org/Strata:mainfrom

ddm-productivity-checkstrata-org/Strata:ddm-productivity-checkCopy head branch name to clipboard