feat(coq): i64 tactics + flag-correspondence lemmas (v0.8.0 foundation)#149

avrabe merged 1 commit into

mainpulseengine/synth:mainfrom

feat/v0.8.0-i64-foundationpulseengine/synth:feat/v0.8.0-i64-foundationCopy head branch name to clipboard