Alle Optionen
bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: mathcomp-bigenough  ]

Paket: libcoq-mathcomp-bigenough (1.0.1-8 und andere)

Links für libcoq-mathcomp-bigenough

Screenshot

Debian-Ressourcen:

Quellcode-Paket mathcomp-bigenough herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

epsilon - N reasoning for Mathematical Components

This package provides an extension to reason with big enough objects (mostly natural numbers) 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-bigenough

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libcoq-mathcomp-bigenough herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
armhf 1.0.1-8+b4 25,7 kB97,0 kB [Liste der Dateien]