alle opties
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Bron: ssreflect  ]

Pakket: libssreflect-ocaml (1.2+dfsg-6)

Verwijzigingen voor libssreflect-ocaml

Screenshot

Debian bronnen:

Het bronpakket ssreflect downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

small scale reflection extension for Coq (plugin)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.

Andere aan libssreflect-ocaml gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libssreflect-ocaml downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
powerpc 399,1 kB1.556,0 kB [overzicht]