coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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!

[Coq-Club] Proving equivalence of two different programs, manjeetdahiya, 08/14/2013
- Re: [Coq-Club] Proving equivalence of two different programs, Kristopher Micinski, 08/14/2013
- Re: [Coq-Club] Proving equivalence of two different programs, Nuno Gaspar, 08/14/2013
  - Re: [Coq-Club] Proving equivalence of two different programs, Manjeet Dahiya, 08/14/2013
    - Re: [Coq-Club] Proving equivalence of two different programs, Manjeet Dahiya, 08/14/2013
      - Re: [Coq-Club] Proving equivalence of two different programs, Kristopher Micinski, 08/14/2013
        
        Re: [Coq-Club] Proving equivalence of two different programs, t x, 08/14/2013
        
        Re: [Coq-Club] Proving equivalence of two different programs, Kristopher Micinski, 08/14/2013
        
        Message not available
        
        Re: [Coq-Club] Proving equivalence of two different programs, Joey Dodds, 08/14/2013
      - Re: [Coq-Club] Proving equivalence of two different programs, Edward Z. Yang, 08/14/2013
    - Re: [Coq-Club] Proving equivalence of two different programs, Kristopher Micinski, 08/14/2013