gap-cap
GAP: Categories, Algorithms and Programming
CAP is a package for category theory. It facilitates the implementation of specific instances of categories and provides a language for writing generic categorical algorithms.
GPL-2.0-onlycloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...