[ bianca ]

[ Bron: paramcoq ]

Pakket: libcoq-paramcoq (1.1.3+coq8.20-1 en anderen)

Verwijzigingen voor libcoq-paramcoq

eLxr Patch Tracker

Het bronpakket paramcoq downloaden:

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

Coq plugin to generate parametricity statements

This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs.

Coq is a proof assistant for higher-order logic.

Andere aan libcoq-paramcoq gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libcoq-stdlib-1ns11 [arm64]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

virtueel pakket geboden door libcoq-stdlib

libcoq-paramcoq downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	1.1.3+coq8.20-1+b4	113,8 kB	859,0 kB	[overzicht]
arm64	1.1.3+coq8.20-1+b4	120,5 kB	1.077,0 kB	[overzicht]