snark
The Snark Theorem Prover
$ area51 add snarkCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(snark:some-function ...)The Snark Theorem Prover
$ area51 add snarkCopy;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(snark:some-function ...)