Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-06-16

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

All times shown according to UTC.

Time Nick Message
08:10 relation joined #isabelle
09:25 relation hi! would it be a lot of work (to implement in Isabelle) to prove something like: "let S be a set of closed formulas, F a closed formula. Then F is logical consequence of S iff S u {~F} unsatisfiable?
15:08 relation joined #isabelle
15:38 felipealmeida joined #isabelle
15:41 felipealmeida joined #isabelle
19:59 felipealmeida joined #isabelle

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