» Ubuntu » Paquets » precise (12.04LTS) » math » alt-ergo
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Paquet source : alt-ergo  ]

Paquet : alt-ergo (0.94-1) [universe]

Liens pour alt-ergo

Screenshot

Ressources Ubuntu :

Télécharger le paquet source alt-ergo :

Responsable :

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

Original Maintainers (usually from Debian):

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

Ressources externes :

Paquets similaires :

Automatic theorem prover dedicated to program verification

Autres paquets associés à alt-ergo

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • sug: why
    Software verification tool

Télécharger alt-ergo

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 2 356,8 ko8 529,0 ko [liste des fichiers]
i386 1 964,8 ko6 165,0 ko [liste des fichiers]