Stop
Stop the ACL2 sidekick web server.
- Signature
(stop) → *
Definitions and Theorems
Function: stop
(defun stop nil
(declare (xargs :guard t))
(let ((__function__ 'stop))
(declare (ignorable __function__))
(raise "Under the hood definition not installed.")))
