feat(Languages): Stateful Processes and Mech directory#754

fmontesi wants to merge 9 commits into

mainleanprover/cslib:mainfrom

fmontesi/mechleanprover/cslib:fmontesi/mechCopy head branch name to clipboard