<!-- BEGIN HEADER -->
# ToolsForHomalg

### Special methods and knowledge propagation tools

| Documentation | Latest Release | Build Status of [homalg_project](/../../) | Code Coverage of [homalg_project](/../../) |
| ------------- | -------------- | ------------ | ------------- |
| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] | [![version][version-img]][version-url] [![date][date-img]][date-url] | [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |

<!-- END HEADER -->
<!-- BEGIN FOOTER -->
[html-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[html-url]: https://homalg-project.github.io/homalg_project/ToolsForHomalg/doc/chap0_mj.html

[pdf-img]: https://img.shields.io/badge/PDF-stable-blue.svg
[pdf-url]: https://homalg-project.github.io/homalg_project/ToolsForHomalg/download_pdf.html

[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/homalg_project/ToolsForHomalg/badge_version.json
[version-url]: https://homalg-project.github.io/homalg_project/ToolsForHomalg/view_release.html

[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/homalg_project/ToolsForHomalg/badge_date.json
[date-url]: https://homalg-project.github.io/homalg_project/ToolsForHomalg/view_release.html

[tests-img]: https://github.com/homalg-project/homalg_project/workflows/Tests/badge.svg?branch=master
[tests-url]: https://github.com/homalg-project/homalg_project/actions?query=workflow%3ATests+branch%3Amaster

[codecov-img]: https://codecov.io/gh/homalg-project/homalg_project/branch/master/graph/badge.svg
[codecov-url]: https://codecov.io/gh/homalg-project/homalg_project
<!-- END FOOTER -->