Пакет: libcoq-mathcomp-finmap (1.5.2-3) [debports]

[ Източник:  ]

finite sets and maps extension for Mathematical Components

This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Други пакети, свързани с libcoq-mathcomp-finmap

• dep: libcoq-mathcomp-ssreflect-ad5z4

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

Изтегляне на libcoq-mathcomp-finmap

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
ppc64 (неофициална архитектура)	691,1 кБ	1 820,0 кБ	[списък на файловете]