wszystkie opcje
jessie  ] [  stretch  ] [  sid  ]
[ Pakiet źródłowy:  ]

Pakiet: libaac-tactics-ocaml (8.8.0+1.gbp069dc3b-1 i inne) [debports]

Odnośniki dla libaac-tactics-ocaml

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Coq tactics for reasoning modulo AC (plugin)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the plugin itself.

Inne pakiety związane z libaac-tactics-ocaml

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libaac-tactics-ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
riscv64 (port nieoficjalny) 8.8.0+1.gbp069dc3b-1+b2 27,0 KiB135,0 KiB [lista plików]