kenzo
A Symbolic Software for Effective Homology Computation by Francis Sergeraert
$ area51 add kenzoCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(kenzo:some-function ...)A Symbolic Software for Effective Homology Computation by Francis Sergeraert
$ area51 add kenzoCopy;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(kenzo:some-function ...)