[ Pakiet źródłowy: mathcomp-algebra-tactics ]
Pakiet: libcoq-mathcomp-algebra-tactics (1.0.0-8 i inne)
Odnośniki dla libcoq-mathcomp-algebra-tactics
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego mathcomp-algebra-tactics:
- [mathcomp-algebra-tactics_1.0.0-8.dsc]
- [mathcomp-algebra-tactics_1.0.0.orig.tar.gz]
- [mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz]
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
Ring and field tactics for Mathematical Components
This package provides the 'ring' and 'field' tactics for the Mathematical Components library, that work for any instance of 'comRingType' and 'fieldType' through canonical structure inference.
The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Inne pakiety związane z libcoq-mathcomp-algebra-tactics
|
|
|
|
-
- dep: libcoq-elpi-2cug2 [i386]
- pakiet wirtualny udostępniany przez libcoq-elpi
-
- dep: libcoq-elpi-4j3x5 [ppc64el]
- pakiet wirtualny udostępniany przez libcoq-elpi
-
- dep: libcoq-elpi-9u4i0 [arm64]
- pakiet wirtualny udostępniany przez libcoq-elpi
-
- dep: libcoq-elpi-rwjh9 [amd64]
- pakiet wirtualny udostępniany przez libcoq-elpi
-
- dep: libcoq-mathcomp-algebra-jkay4 [arm64]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-npfq8 [i386]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-ns1c5 [amd64]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-q5ru3 [ppc64el]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-ssreflect-0cpi5 [i386]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-7sy01 [amd64]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-bczw3 [arm64]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-l1wx5 [ppc64el]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-zify-8cws9 [arm64]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-8kcm8 [i386]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-afoe7 [amd64]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-quvd5 [ppc64el]
- pakiet wirtualny udostępniany przez libcoq-mathcomp-zify
-
- sug: ocaml-findlib
- Narzędzie zarządzające bibliotekami OCaml
Pobieranie libcoq-mathcomp-algebra-tactics
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
amd64 | 1.0.0-8+b6 | 224,4 KiB | 809,0 KiB | [lista plików] |
arm64 | 1.0.0-8+b6 | 224,3 KiB | 809,0 KiB | [lista plików] |
i386 | 1.0.0-8+b6 | 224,2 KiB | 809,0 KiB | [lista plików] |
ppc64el | 1.0.0-8+b6 | 224,3 KiB | 809,0 KiB | [lista plików] |