Paketti: libcoq-ott (0.33+ds-2)

[ Source: ott  ]

Ott tool (Coq plugin)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

Coq is a proof assistant for higher-order logic.

This package provides the Coq plugin itself.

Muut pakettiin libcoq-ott liittyvät paketit

• dep: libcoq-stdlib-4ny94 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-6gs52 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-77cs8 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-ott

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	156.2 kt	725.0 kt	[tiedostoluettelo]
arm64	156.1 kt	725.0 kt	[tiedostoluettelo]
armhf	156.1 kt	724.0 kt	[tiedostoluettelo]
i386	156.1 kt	724.0 kt	[tiedostoluettelo]
ppc64el	156.1 kt	725.0 kt	[tiedostoluettelo]
s390x	156.1 kt	725.0 kt	[tiedostoluettelo]