Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
21207 of 82199 results First • • • Last
21207.
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
 
Description
Ce greffon fournit des tactiques pour la réécriture des équations universelles quantifiées, modulo des opérateurs d'associativité (et possiblement de commutativité).
Translated by Michael Vogt
Located in Package: libcoq-aac-tactics
21207 of 82199 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.