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
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