Quelle  README.md  Sprache: unbekannt

<!-- BEGIN HEADER -->
# HomalgToCAS ^{^{[![View code][code-img]][code-url]}}

### A window to the outer world

| Documentation | Latest Release | Build Status of [homalg_project](/../../) | Code Coverage |
| ------------- | -------------- | ------------ | ------------- |
| [![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/��%20HTML-stable-blue.svg
[html-url]: https://homalg-project.github.io/homalg_project/HomalgToCAS/doc/chap0_mj.html

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

[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/homalg_project/HomalgToCAS/badge_version.json&label=��%20version&color=yellow
[version-url]: https://homalg-project.github.io/homalg_project/HomalgToCAS/view_release.html

[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/homalg_project/HomalgToCAS/badge_date.json&label=��%20released%20on&color=yellow
[date-url]: https://homalg-project.github.io/homalg_project/HomalgToCAS/view_release.html

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

[codecov-img]: https://codecov.io/gh/homalg-project/homalg_project/branch/master/graph/badge.svg?flag=HomalgToCAS
[codecov-url]: https://app.codecov.io/gh/homalg-project/homalg_project/tree/master/HomalgToCAS

[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
[code-url]: https://github.com/homalg-project/homalg_project/tree/master/HomalgToCAS#top
<!-- END FOOTER -->