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

Published 20 hours ago • verified publisher icon OCamlPro

Transforming all ite conditions into terms

Open Stevendeo opened this issue 1 year ago • 0 comments

Fixes issue #519

Stevendeo avatar Jul 27 '22 13:07 Stevendeo