Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-09-24

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

All times shown according to UTC.

Time Nick Message
00:13 dmiles_afk joined #isabelle
04:21 dmiles_afk joined #isabelle
12:21 coco joined #isabelle
12:46 redlizard joined #isabelle
12:46 redlizard I have a quantified equality property over a finite domain. Can I tell isabelle to prove it by simply bruteforcing the domain?
12:48 redlizard Specifically, I have a counterexample generated by nitpick, and now I want to prove that it is actually a counterexample.
14:42 dmiles_afk joined #isabelle

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