Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 5 > x86_64 > media > core-release > by-pkgid > a919eb6872f791ba333d735acd6129bd > files > 8

alt-ergo-0.95.2-4.mga5.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

   The Alt-Ergo theorem prover
   Copyright (C) 2006-2013

   Sylvain Conchon
   Evelyne Contejean

   Francois Bobot
   Mohamed Iguernelala
   Stephane Lescuyer
   Alain Mebsout

   CNRS - INRIA - Universite Paris Sud

 This file is distributed under the terms of the CeCILL-C licence