Project statistics

Lines of code of the packages developed on the GitHub organization homalg-project

Lines of code of the packages developed on https://github.com/homalg-project