[ bookworm ] [ trixie ] [ sid ]

[ Pakiet źródłowy: ]

Pakiet: libcoq-libhyps (2.0.6-3 i inne) [debports]

Odnośniki dla libcoq-libhyps

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

Coq is a proof assistant for higher-order logic.

Inne pakiety związane z libcoq-libhyps

wymaga

poleca

sugeruje

enhances

dep: libcoq-stdlib-n0k10

pakiet wirtualny udostępniany przez libcoq-stdlib

Pobieranie libcoq-libhyps

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ppc64 (port nieoficjalny)	2.0.6-3+b2	83,1 KiB	406,0 KiB	[lista plików]