[ bookworm ] [ trixie ] [ sid ]

[ Bron: ]

Pakket: libcoq-libhyps (2.0.6-3 en anderen) [debports]

Verwijzigingen voor libcoq-libhyps

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

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.

Andere aan libcoq-libhyps gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libcoq-stdlib-n0k10

virtueel pakket geboden door libcoq-stdlib

libcoq-libhyps downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ppc64 (unofficial port)	2.0.6-3+b2	83,1 kB	406,0 kB	[overzicht]