Balík: libcoq-mathcomp-zify (1.3.0+1.12+8.13-1 a iné) [debports]

Odkazy pre libcoq-mathcomp-zify

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Externé zdroje:

Domovská stránka [github.com]

Podobné balíky:

Micromega arithmetic solvers for Mathematical Components

This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Ostatné balíky súvisiace s balíkom libcoq-mathcomp-zify

závisí

odporúča

navrhuje

vylepšuje

dep: libcoq-mathcomp-algebra-q8d34

virtuálny balík poskytovaný balíkom libcoq-mathcomp-algebra

sug: ocaml-findlib

nástroj na správu knižníc OCaml

Stiahnuť libcoq-mathcomp-zify

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64 (neoficiálny port)	1.3.0+1.12+8.13-1+b1	216.2 kB	1,214.0 kB	[zoznam súborov]