Kenzo-external-modules

This repository contains several modules for the computer algebraic topology system called Kenzo. To use these files, it is necessary to download and compile the following version of Kenzo: https://github.com/miguelmarco/kenzo