Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-05-12

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
02:48 fracting joined #isabelle
06:44 logicmoo joined #isabelle
07:01 JCaesar joined #isabelle
07:27 ammbauer ThreeOfEight: kay. but it doesn't mean my lemma is actually false? as I'm actually not sure about that.
07:35 ThreeOfEight "should have refuted the assumptions" means that the Linear Arithmetic solver seems to think that the assumptions are inconsistent
07:35 ThreeOfEight so your lemma should hold
07:36 ThreeOfEight however, I've never looked at this in detail, but I think you shouldn't trust this message too much
09:45 silver joined #isabelle
15:30 fracting joined #isabelle
15:47 fracting joined #isabelle
17:08 fracting joined #isabelle
17:45 silver joined #isabelle
23:38 dmiles joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary