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

Published 20 hours ago • verified publisher icon OCamlPro

push/pop and multi-goals per file: should we pop local labels ?

Open iguerNL opened this issue 3 years ago • 0 comments

iguerNL avatar Dec 02 '20 12:12 iguerNL