[  etiona  ] [  nabia  ] [  aramo  ]

[ Källkod: aac-tactics  ]

Länkar för libaac-tactics-coq

Trisquelresurser:

• Install using apturl
• Entry at directory.fsf.org
• Felrapporter
• Changelog
• Upphovsrättsfil

Hämta källkodspaketet aac-tactics:

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

Ansvarig:

• Debian OCaml Maintainers (E-postarkiv)

Original Maintainers:

• Debian OCaml Maintainers (E-postarkiv)
• Stéphane Glondu

Externa resurser:

• Hemsida [github.com]

Liknande paket:

• 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

Andra paket besläktade med libaac-tactics-coq

beror

rekommenderar

föreslår

• dep: coq-8.11.0+4.08.1

  virtuellt paket som tillhandahålls av coq

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

  Coq tactics for reasoning modulo AC (plugin)

Hämta libaac-tactics-coq

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	237,8 kbyte	1769 kbyte	[filförteckning]