kenzo

2020-03-25

A Symbolic Software for Effective Homology Computation by Francis Sergeraert

Upstream URL

github.com/gheber/kenzo

Author

Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>

License

GPLv3
README

kenzo

A Symbolic Software for Effective Homology Computation by Francis Sergeraert

Version:
1.1.9
License:
GPLv3
Authors:
Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>
Dependencies:

    None

kenzo-test

A simple regression test suite for Kenzo

Version:
0.1.0
License:
GPLv3
Authors:
Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>
Dependencies:
  • fiveam

  • kenzo

Dependencies (1)

  • fiveam

Dependents (0)

    • GitHub
    • Quicklisp