Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-05-08

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #isabelle
01:48 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
06:49 ertes-w joined #isabelle
07:20 ertes joined #isabelle
07:50 xvzf joined #isabelle
07:51 dave24 joined #isabelle
08:18 mbrcknl joined #isabelle
20:24 chindy Is there any pdf in isabelle or any paper/book only that describes the basic inner workings of isabelle ... i.e. the basic inference rules of the kernel etc ?
20:25 chindy basic math. axioms etc. of Isabelle/HOL
20:27 JCaesar Prof. Nipkow always quotes his own book, T. Nipkow, L. Paulson, and M. Wenzel, Isabelle/HOL — A Proof Assistant for Higher-Order Logic. But I have to admit, I have no idea what's in there…
20:28 JCaesar might be more of a "How-To Isabelle", I guess.
20:29 chindy thats what i worry... as thats not what i want :/
21:25 dmiles joined #isabelle
23:17 ertes joined #isabelle

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