From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Beside of SPARK: how do you compare Alt-Ergo and Coq?
Date: Tue, 21 Feb 2012 16:57:53 +0100
Date: 2012-02-21T16:57:53+01:00 [thread overview]
Message-ID: <op.v91darxgule2fv@douda-yannick> (raw)
In-Reply-To: op.v90efmcbule2fv@douda-yannick
Le Tue, 21 Feb 2012 04:24:48 +0100, Yannick Duchêne (Hibou57)
<yannick_duchene@yahoo.fr> a écrit:
> Both Alt-Ergo and Coq are prover or proof checker, but how do you
> compare both?
So far at least, seems there are far fewer documentations for Alt-Ergo
than for SPARK and Coq. Or did I miss something or some locations?
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
next prev parent reply other threads:[~2012-02-21 15:57 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-21 3:24 Beside of SPARK: how do you compare Alt-Ergo and Coq? Yannick Duchêne (Hibou57)
2012-02-21 15:57 ` Yannick Duchêne (Hibou57) [this message]
2012-02-21 22:10 ` Yannick Duchêne (Hibou57)
2012-02-23 19:08 ` Phil Clayton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox