cl-annot-prove

使い方

;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(cl-annot-prove:some-function ...)