Package: libcoq-mathcomp-zify (1.5.0+2.0+8.16-3) [debports]

Links for libcoq-mathcomp-zify

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

libcoq-mathcomp-finmap
libcoq-mathcomp-algebra-tactics
libcoq-mathcomp-analysis
libcoq-mathcomp-bigenough
libcoq-mathcomp-multinomials
libcoq-mathcomp-abel
libssreflect-coq
libcoq-mathcomp
libcoq-mathcomp-real-closed
libcoq-mathcomp-character
libcoq-mathcomp-field

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.

Other Packages Related to libcoq-mathcomp-zify

depends

recommends

suggests

enhances

dep: libcoq-mathcomp-algebra-gtki7

virtual package provided by libcoq-mathcomp-algebra

sug: ocaml-findlib

management tool for OCaml libraries

Download libcoq-mathcomp-zify

Download for all available architectures
Architecture	Package Size	Installed Size	Files
loong64 (unofficial port)	241.3 kB	1,330.0 kB	[list of files]