Pacote: libcoq-ott (0.34+ds-1 e outros)

Links para libcoq-ott

Rastreador de patch eLxr

Baixe o pacote-fonte ott:

Mantenedores(as):

Fontes externas:

Pagina principal [github.com]

Pacotes similares:

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.

Outros pacotes relacionados a libcoq-ott

depende

recomenda

sugere

melhora

dep: libcoq-stdlib-1ns11 [arm64]

pacote virtual fornecido por libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

pacote virtual fornecido por libcoq-stdlib

Download de libcoq-ott

Baixe para todas as arquiteturas disponíveis
Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	0.34+ds-1+b4	157.3 kB	547.0 kB	[lista de arquivos]
arm64	0.34+ds-1+b4	157.4 kB	547.0 kB	[lista de arquivos]