Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]
[ Source:  ]

Paketti: eprover (3.2.5+ds-1) [debports]

Links for eprover

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

Muut pakettiin eprover liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi eprover

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
hppa (epävirallinen siirros) 807.3 kt8,252.0 kt [tiedostoluettelo]