kenzo
A Symbolic Software for Effective Homology Computation by Francis Sergeraert
$ area51 add kenzoコピー使い方
;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(kenzo:some-function ...)A Symbolic Software for Effective Homology Computation by Francis Sergeraert
$ area51 add kenzoコピー;; area51 add で .asd が自動更新されます。
;; コード内でパッケージを使用:
(in-package :my-project)
(kenzo:some-function ...)