***NO_CI*** working with Monal on a deep embedding of hoare logic for a while language
***NO_CI*** working with Monal on a deep embedding of hoare logic for a while language

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar