[ Quellcode: mathcomp-finmap ]
Paket: libcoq-mathcomp-finmap (2.1.0-1)
Links für libcoq-mathcomp-finmap
Debian-Ressourcen:
Quellcode-Paket mathcomp-finmap herunterladen:
- [mathcomp-finmap_2.1.0-1.dsc]
- [mathcomp-finmap_2.1.0.orig.tar.gz]
- [mathcomp-finmap_2.1.0-1.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libcoq-mathcomp-finmap
|
|
|
|
-
- dep: libcoq-mathcomp-ssreflect-ug6m2
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-ssreflect
libcoq-mathcomp-finmap herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| i386 | 667,0 kB | 1.769,0 kB | [Liste der Dateien] |