feat(CCS): Milner's Vending Machine#764

fmontesi wants to merge 4 commits into

mainleanprover/cslib:mainfrom

fmontesi/ccs-vending-machineleanprover/cslib:fmontesi/ccs-vending-machineCopy head branch name to clipboard