Виртуален пакет: libcoq-unimath-w33g3

Експериментален пакет

Предупреждение: Този пакет е от дистрибуцията experimental. Това означава, че е възможно да е нестабилен или да има грешки, а може дори и да предизвика загуба на данни. Прочетете информация за промените и останалата документация преди да го използвате.

This is a virtual package. See the Debian policy for a definition of virtual packages.

Пакети, предлагащи libcoq-unimath-w33g3

libcoq-unimath

univalent formalization of mathematics for Coq