[  etiona  ] [  nabia  ] [  aramo  ]

[ Source: aac-tactics  ]

Links for libaac-tactics-coq

Trisquel-palvelut:

• Install using apturl
• Entry at directory.fsf.org
• Vikailmoitukset
• Changelog
• Tekijänoikeustiedosto

Imuroi lähdekoodipaketti aac-tactics:

• [aac-tactics_8.15.0-1.dsc]
• [aac-tactics_8.15.0.orig.tar.gz]
• [aac-tactics_8.15.0-1.debian.tar.xz]

Ylläpitäjä:

• Debian OCaml Maintainers (Mail Archive)

Original Maintainers:

• Debian OCaml Maintainers (Mail Archive)
• Stéphane Glondu

External Resources:

• Kotisivu [github.com]

Samankaltaisia paketteja:

• libaac-tactics-ocaml-dev
• alt-ergo
• libcoq-elpi-ocaml
• libcoq-elpi-ocaml-dev
• libcoq-mathcomp-bigenough
• libcoq-mathcomp-solvable
• libssreflect-coq
• libcoq-mathcomp-ssreflect
• libfloat-coq
• libssreflect-ocaml
• libcoq-mathcomp-field

Muut pakettiin libaac-tactics-coq liittyvät paketit

depends

recommends

suggests

• dep: coq-8.15.0+4.13.1

  näennäispaketti, jonka toteuttaa coq

• dep: libaac-tactics-ocaml (>= 8.15.0-1)

  Coq tactics for reasoning modulo AC (plugin)

Imuroi libaac-tactics-coq

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	282.3 kt	1988 kt	[tiedostoluettelo]