The Coq mailing list

[Nuno Gaspar <nmpgaspar AT gmail.com>]

Hello.

Well, generally speaking you'll first need to define what a program is and what do you mean by equivalence (I assume you want something more then simple syntactical equivalence)

You may want to check Software Foundations, in particular the chapter on program equivalence: http://www.cis.upenn.edu/~bcpierce/sf/Equiv.html

Hope it helps.

2013/8/14 <manjeetdahiya AT gmail.com>

Hello,

I want to know if coq can be used to prove equivalence of two different
programs? Please give me some pointers if it is doable.

Thanks!

--
Bart: Look at me, I'm a grad student, I'm 30 years old and I made $600 dollars last year.
Marge: Bart! Don't make fun of grad students, they just made a terrible life choice.