[  etiona  ] [  nabia  ] [  aramo  ]

[ Paquet source : aac-tactics  ]

Liens pour libaac-tactics-coq

Ressources Trisquel :

• Install using apturl
• Entry at directory.fsf.org
• Rapports de bogues
• Changelog
• Fichier de licence

Télécharger le paquet source aac-tactics :

• [aac-tactics_8.6.1-2.dsc]
• [aac-tactics_8.6.1.orig.tar.gz]
• [aac-tactics_8.6.1-2.debian.tar.xz]

Responsable :

• Debian OCaml Maintainers (Archive du courrier électronique)

Original Maintainers:

• Debian OCaml Maintainers (Archive du courrier électronique)
• Stéphane Glondu

Ressources externes :

• Page d'accueil [github.com]

Paquets similaires :

• 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

Autres paquets associés à libaac-tactics-coq

dépendances

recommandations

suggestions

• dep: coq-8.6+4.05.0

  paquet virtuel fourni par coq

• dep: libaac-tactics-ocaml (>= 8.6.1-2)

  Coq tactics for reasoning modulo AC (plugin)

Télécharger libaac-tactics-coq

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	215,6 ko	1525 ko	[liste des fichiers]