(defcomp
  (&key source python javascript z3)
  (when
    (not (= source ""))
    (div
      (~tw :tokens "mt-3 border border-stone-200 rounded-lg overflow-hidden")
      (details
        (summary
          (~tw :tokens "px-3 py-1.5 bg-stone-50 text-xs font-medium text-stone-600 cursor-pointer select-none")
          "SX Source")
        (pre
          (~tw :tokens "text-xs p-3 overflow-x-auto bg-white")
          (code (~tw :tokens "language-sx") source)))
      (when
        python
        (details
          (summary
            (~tw :tokens "px-3 py-1.5 bg-stone-50 text-xs font-medium text-stone-600 cursor-pointer border-t border-stone-200")
            "Python")
          (pre
            (~tw :tokens "text-xs p-3 overflow-x-auto bg-white")
            (code (highlight python "python")))))
      (when
        javascript
        (details
          (summary
            (~tw :tokens "px-3 py-1.5 bg-stone-50 text-xs font-medium text-stone-600 cursor-pointer border-t border-stone-200")
            "JavaScript")
          (pre
            (~tw :tokens "text-xs p-3 overflow-x-auto bg-white")
            (code (highlight javascript "javascript")))))
      (when
        z3
        (details
          (summary
            (~tw :tokens "px-3 py-1.5 bg-stone-50 text-xs font-medium text-stone-600 cursor-pointer border-t border-stone-200")
            "Z3 / SMT-LIB")
          (pre
            (~tw :tokens "text-xs p-3 overflow-x-auto bg-white")
            (code (highlight z3 "lisp"))))))))