CoCalc -- eval-dep-type.input

open-axiom repository from github

open-axiom / src / testsuite / interpreter / eval-dep-type.input

²⁴⁷⁰⁷ views

reify OrderedVariableList [x,y]