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

Published 20 hours ago • verified publisher icon OCamlPro

TODO: put hypotheses of theories axioms outside triggers structure

Open iguerNL opened this issue 5 years ago • 0 comments

iguerNL avatar Dec 01 '18 16:12 iguerNL