Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-08-19

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

All times shown according to UTC.

Time Nick Message
17:11 tpsinnem joined #isabelle
19:40 felipealmeida joined #isabelle
19:52 tpsinnem joined #isabelle
21:26 _malicious joined #isabelle
21:45 _malicious I'm very new to theorem provers (still trying to learn the concepts). If I want to verify abstract algebra proofs and verify part of assembly and/or C code (on different projects), is Isabelle/ML a good choice to learn, or should I go elsewhere?
22:24 Gues_____ joined #isabelle
23:06 _malicious left #isabelle

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