Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54500 views

((|bad1|
  ((#1=(|Integer|) #2=(|OrderedVariableList| '(|alpha| |beta|)))
   (#1# (|One| #1#)) (|arguments| (|opts1| . #2#)))))