Pakiet: libcoq-mathcomp-analysis (1.2.0-2 i inne)

[ Pakiet źródłowy: mathcomp-analysis  ]

analysis extension for Mathematical Components

This package provides an extension for classical analysis for the Mathematical Components library.

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-analysis

• dep: libcoq-elpi-od318

  pakiet wirtualny udostępniany przez libcoq-elpi

• dep: libcoq-hierarchy-builder-e7tm8

  pakiet wirtualny udostępniany przez libcoq-hierarchy-builder

• dep: libcoq-mathcomp-algebra-rzx61

  pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra

• dep: libcoq-mathcomp-bigenough-4xuz1

  pakiet wirtualny udostępniany przez libcoq-mathcomp-bigenough

• dep: libcoq-mathcomp-classical (= 1.2.0-2+b4)

  classical logic extension for Mathematical Components

• dep: libcoq-mathcomp-field-2qye3

  pakiet wirtualny udostępniany przez libcoq-mathcomp-field

• dep: libcoq-mathcomp-fingroup-q0453

  pakiet wirtualny udostępniany przez libcoq-mathcomp-fingroup

• dep: libcoq-mathcomp-finmap-lkzn8

  pakiet wirtualny udostępniany przez libcoq-mathcomp-finmap

• dep: libcoq-mathcomp-solvable-cd9y6

  pakiet wirtualny udostępniany przez libcoq-mathcomp-solvable

• dep: libcoq-mathcomp-ssreflect-ir964

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

Pobieranie libcoq-mathcomp-analysis

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
arm64	1.2.0-2+b4	13 758,2 KiB	56 213,0 KiB	[lista plików]