Tarkennettu haku
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: mathcomp-zify  ]

Paketti: libcoq-mathcomp-zify (1.5.0+2.0+8.16-4 ja muut)

Links for libcoq-mathcomp-zify

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti mathcomp-zify:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libcoq-mathcomp-zify liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libcoq-mathcomp-zify

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 1.5.0+2.0+8.16-4+b8 266.5 kt976.0 kt [tiedostoluettelo]
arm64 1.5.0+2.0+8.16-4+b8 266.4 kt976.0 kt [tiedostoluettelo]
ppc64el 1.5.0+2.0+8.16-4+b8 266.4 kt976.0 kt [tiedostoluettelo]
riscv64 1.5.0+2.0+8.16-4+b8 266.4 kt976.0 kt [tiedostoluettelo]
s390x 1.5.0+2.0+8.16-4+b8 266.5 kt976.0 kt [tiedostoluettelo]