Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-03-06

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

All times shown according to UTC.

Time Nick Message
13:57 tsinnema joined #isabelle
23:40 SuperNoeMan joined #isabelle
23:40 SuperNoeMan I'm trying to decide between learning Coq and Isabelle
23:42 SuperNoeMan it seems like the community behind Coq is larger however...
23:42 SuperNoeMan only thing is-I also want to devote myself to a functional language as well
23:42 SuperNoeMan so haskell is my choice so far
23:42 SuperNoeMan which proofing tool would allow me to do program-proof better?

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