Acl2 if subset function

后端 未结 0 1438
我在风中等你
我在风中等你 2021-01-15 04:07

;;; TODO-2 ;;; Define a function called is-subset that checks whether ;;; one set a is a subset of another set b ;;; can only use the bulit in functions: first , rest , len

相关标签:
回答
  • 消灭零回复
提交回复
热议问题