Pakket: ott-tools (0.32+ds-3 en anderen)

Verwijzigingen voor ott-tools

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

lem
liblem-ocaml-dev
libcoq-reglang
libcoq-equations
libcoq-menhirlib
libcoq-unimath
libcoq-core-ocaml-dev
libcoq-ocaml-dev
coq
libcoq-mtac2
coq-dpdgraph-tools

Ott tool (executable)

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 executable.

Andere aan ott-tools gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.35)

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb

ott-tools downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
i386	0.32+ds-3+b1	1.190,2 kB	4.825,0 kB	[overzicht]