» Ubuntu » Paket » precise (12.04LTS) » editors » proofgeneral-misc
lucid  ] [  precise  ]
[ Källkod: proofgeneral  ]

Paket: proofgeneral-misc (3.7-4) [universe]

Länkar för proofgeneral-misc

Screenshot

Ubunturesurser:

Hämta källkodspaketet proofgeneral:

Ansvarig:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Debian QA Group

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

  • Hemsida [proofgeneral.inf.ed.ac.uk]

Liknande paket:

generic interface for proof assistants - theorem provers support

Andra paket besläktade med proofgeneral-misc

  • beror
  • rekommenderar
  • föreslår
  • enhances
  • dep: proofgeneral
    generic interface for proof assistants - common package

Hämta proofgeneral-misc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 138,8 kbyte732,0 kbyte [filförteckning]