[ sid ]

[ Source: ]

Paketti: libaac-tactics-ocaml (8.8.0+1.gbp069dc3b-1 ja muut) [debports]

Links for libaac-tactics-ocaml

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

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.

Muut pakettiin libaac-tactics-ocaml liittyvät paketit

depends

recommends

suggests

enhances

dep: libcoq-ocaml-tvkp6

Paketti ei saatavilla
dep: ocaml-base-nox-4.05.0

Paketti ei saatavilla

rec: libaac-tactics-coq

Paketti ei saatavilla

enh: coq

proof assistant for higher-order logic (toplevel and compiler)

Imuroi libaac-tactics-ocaml

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	8.8.0+1.gbp069dc3b-1+b2	27.0 kt	135.0 kt	[tiedostoluettelo]