mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Gerd Heber 2015-07-13 19:49:38 -05:00
parent ec5ad4d359
commit 9e14b1fdaa
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -1,5 +1,7 @@
# Welcome to Kenzo
![GPLv3 Logo](http://www.gnu.org/graphics/gplv3-127x51.png)
According to the title of its
[handbook](http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/Kenzo-doc.pdf),
Kenzo is a "Symbolic Software for Effective Homology Computation" and
@ -81,3 +83,6 @@ Running test suite KENZO
```
Similarly, you'd load Kenzo via `(ql:quickload :kenzo)`.
![GPLv3 Logo](http://www.gnu.org/graphics/gplv3-127x51.png)