--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on April 2009 ---
Virgile Prevosto wrote: > Hello, > > Le mar 07 avr 2009 09:07:10 CEST, > Claude March? <Claude.Marche at inria.fr> a ?crit : > >> Another, probably quicker, possibility is first to try to prove >> >> //@ lemma l : 0=0; >> > > Shouldn't that be 0!=0 (or 0 == 1)? 0 == 0 is quite easy to prove. > > Best regards, Well, let's say that was just a trick from me to see if anybody follows what I say. :-) Now, I'm going to get a coffee before answering questions on that list. - Claude