alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

multi-goals files (native and why3 syntaxes): unify them with push/pop of SMT2

Open iguerNL opened this issue 3 years ago • 0 comments

Related to PR: https://github.com/OCamlPro/alt-ergo/pull/371

iguerNL avatar Dec 02 '20 11:12 iguerNL