Pakiet: libcoq-mathcomp-algebra-tactics (1.2.4-1 i inne)

Odnośniki dla libcoq-mathcomp-algebra-tactics

Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego mathcomp-algebra-tactics:

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

wymaga

poleca

sugeruje

enhances

dep: libcoq-elpi-349k4 [arm64]

pakiet wirtualny udostępniany przez libcoq-elpi
dep: libcoq-elpi-s1x22 [amd64]

pakiet wirtualny udostępniany przez libcoq-elpi
dep: libcoq-mathcomp-algebra-7yl00 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-ausx4 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-zify-k2h58 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-zify
dep: libcoq-mathcomp-zify-y28z5 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-zify

sug: ocaml-findlib

management tool for OCaml libraries

Pobieranie libcoq-mathcomp-algebra-tactics

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.2.4-1+b5	745,2 KiB	3 389,0 KiB	[lista plików]
arm64	1.2.4-1+b5	745,2 KiB	3 389,0 KiB	[lista plików]