https://github.com/homalg-project/cap_project

CAP project -- Categories, Algorithms, and Programming

additive-closure adelman-category category-theory freyd-category homological-algebra internalization modules vector-spaces

Last synced: 11 Mar 2025