toutes les options
wheezy  ] [  jessie  ] [  sid  ]
[ Paquet source : aac-tactics  ]

Paquet : libaac-tactics-coq (0.2.pl2-7)

Liens pour libaac-tactics-coq

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

Paquets similaires :

tactiques Coq pour raisonner modulo AC — théories

Ce greffon fournit des tactiques pour la réécriture des équations universelles quantifiées, modulo des opérateurs d'associativité (et possiblement de commutativité).

Ce paquet fournit la bibliothèque de prise en charge de Coq.

Autres paquets associés à libaac-tactics-coq

  • dépendances
  • recommandations
  • suggestions
  • enhances

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 313,2 ko2 445,0 ko [liste des fichiers]